Scalable Techniques for Formal Verification - Sandip Ray - Knihy - Springer-Verlag New York Inc. - 9781441959973 - 25. mája 2010
V prípade, že obal a názov nesedia, platí názov

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Cena
€ 116,49

Objednané zo vzdialeného skladu

Očakávané doručenie 21. sep - 5. okt
Dostávajte upozornenia na nové nahrávky interpreta Sandip Ray

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 25. mája 2010
ISBN13 9781441959973
Vydavatelia Springer-Verlag New York Inc.
Strany 243
Rozmery 155 × 235 × 15 mm   ·   539 g
Jazyk Angličtina  

Viac od Sandip Ray

Zobraziť všetko

Viac od toho istého vydavateľa

Pozrieť všetko od Sandip Ray