Gå direkt till innehållet
Logics in Computer Science
Spara

Logics in Computer Science

Författare:
inbunden, 2013
Engelska
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.
Undertitel
A Study on Extensions of Temporal and Strategic Logics
Författare
Fabio Mogavero
ISBN
9789491216947
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
12.8.2013
Sidor
149