Scalable Techniques for Formal Verification - Sandip Ray - Książki - Springer-Verlag New York Inc. - 9781489984449 - 19 października 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Cena
zł 539,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 mar - 9 kwi

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 19 października 2014
ISBN13 9781489984449
Wydawcy Springer-Verlag New York Inc.
Strony 243
Wymiary 155 × 235 × 14 mm   ·   367 g
Język English  
Pokaż wszystko

Więcej od Sandip Ray

Zobacz wszystko od Sandip Ray ( np. Hardcover Book i Paperback Book )