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

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Preis
€ 107,49

Bestellware

Lieferdatum: ca. 2. - 12. Okt
Benachrichtigungen über neue Veröffentlichungen von Sandip Ray erhalten

Unsere Kunden sagen:

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

Noch nicht bewertet

Auch vorhanden als:

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  

Mehr vom selben Verlag

Alle Titel von Sandip Ray ansehen