Scalable Techniques for Formal Verification - Sandip Ray - Knihy - Springer-Verlag New York Inc. - 9781489984449 - 19. októbra 2014
V prípade, že obal a názov nesedia, platí názov

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Cena
€ 110,49

Objednané zo vzdialeného skladu

Očakávané doručenie 23. - 31. júl
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     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 19. októbra 2014
ISBN13 9781489984449
Vydavatelia Springer-Verlag New York Inc.
Strany 243
Rozmery 155 × 235 × 14 mm   ·   367 g
Jazyk Angličtina  

Viac od toho istého vydavateľa

Pozrieť všetko od Sandip Ray ( napr. Hardcover Book a Paperback Book )