Modal and Temporal Properties of Processes / Texts in Computer Science (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Modal and Temporal Properties of Processes / Texts in Computer Science (PDF)“
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 advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Bibliographische Angaben
- Autor: Colin Stirling
- 2013, 2001, 191 Seiten, Englisch
- Verlag: Springer, New York
- ISBN-10: 1475735502
- ISBN-13: 9781475735505
- Erscheinungsdatum: 14.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 14 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Modal and Temporal Properties of Processes / Texts in Computer Science"
0 Gebrauchte Artikel zu „Modal and Temporal Properties of Processes / Texts in Computer Science“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Modal and Temporal Properties of Processes / Texts in Computer Science".
Kommentar verfassen