Scalable Techniques for Formal Verification - Sandip Ray - Bücher - Springer-Verlag New York Inc. - 9781489984449 - 19. Oktober 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Preis
Fr. 120,49

Bestellware

Lieferdatum: ca. 24. Feb - 5. Mär

Unsere Kunden sagen:

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

Auch vorhanden als:

Scalable Techniques for Formal Verification 2010 edition

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware.

243 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 19. Oktober 2014
ISBN13 9781489984449
Verlag Springer-Verlag New York Inc.
Seitenanzahl 243
Maße 155 × 235 × 14 mm   ·   367 g
Sprache Englisch  
Alle anzeigen

Weitere Titel von Sandip Ray

Alle Titel von Sandip Ray ansehen ( u. a. Gebundenes Buch und Taschenbuch )