Gå direkte til innholdet
Logics in Computer Science
Spar

Logics in Computer Science

Forfatter:
innbundet, 2013
Engelsk
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Undertittel
A Study on Extensions of Temporal and Strategic Logics
ISBN
9789491216947
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
12.8.2013
Antall sider
149