Modal and Temporal Properties of Processes

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an...
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 3178332

Buch90.94
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 3178332

Buch90.94
Jetzt vorbestellen
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an...

Kommentar zu "Modal and Temporal Properties of Processes"

Andere Kunden kauften auch

Weitere Empfehlungen zu „Modal and Temporal Properties of Processes “

0 Gebrauchte Artikel zu „Modal and Temporal Properties of Processes“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich