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

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Cena
zł 466,90

Zamówione z odległego magazynu

Przewidywana dostawa 20 - 30 lis
Świąteczne prezenty można zwracać do 31 stycznia
Otrzymuj powiadomienia o nowych wydawnictwach Sandip Ray

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

Jeszcze nie oceniono

Również dostępne jako:

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 Angielski  

Więcej od tego samego wydawcy

Zobacz wszystko od Sandip Ray