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.

168 pages, 13 black & white illustrations, 15 black & white tables, biography

Media	Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä	maanantai 12. elokuuta 2013
ISBN13	9789491216947
Tuottaja	Atlantis Press (Zeger Karssen)
Sivujen määrä	149
Mitta	163 × 241 × 15 mm · 376 g

Katso kaikki joka sisältää Fabio Mogavero ( Esim. Paperback Book Ja Hardcover Book )