Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Preis
€ 136,49

Bestellware

Lieferdatum: ca. 2. - 10. Jul

Unsere Kunden sagen:

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

Auch vorhanden als:

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 15. Dezember 2010
ISBN13 9783642074783
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 190
Maße 233 × 157 × 18 mm   ·   328 g
Sprache Deutsch  
Übersetzer McKenzie, P.

Mere med samme udgiver

Alle Titel von B. Berard ansehen ( u. a. Gebundenes Buch und Taschenbuch )