Scalable Techniques for Formal Verification - Sandip Ray - Książki - Springer-Verlag New York Inc. - 9781441959973 - 25 maja 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Cena
zł 511,90

Zamówione z odległego magazynu

Przewidywana dostawa 14 - 25 lis

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     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 25 maja 2010
ISBN13 9781441959973
Wydawcy Springer-Verlag New York Inc.
Strony 243
Wymiary 155 × 235 × 15 mm   ·   539 g
Język English  
Pokaż wszystko

Więcej od Sandip Ray

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