Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16. Oktober 2003
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Klaus Schneider
Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series 2004 edition

Preis
SFr. 44,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 12. - 20. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.

620 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 16. Oktober 2003
ISBN13 9783540002963
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 620
Maße 156 × 234 × 33 mm   ·   1,20 kg
Sprache Deutsch  

Weitere Titel von Klaus Schneider

Alle anzeigen

Alle Titel von Klaus Schneider ansehen ( u. a. Taschenbuch , Gebundenes Buch und 12" )