Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Knihy - Springer-Verlag New York Inc. - 9780387341552 - 20. júla 2006
V prípade, že obal a názov nesedia, platí názov

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Cena
€ 120,99

Objednané zo vzdialeného skladu

Očakávané doručenie 23. nov - 7. dec
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Chao Wang

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 summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 20. júla 2006
ISBN13 9780387341552
Vydavatelia Springer-Verlag New York Inc.
Strany 179
Rozmery 155 × 235 × 12 mm   ·   467 g
Jazyk Angličtina  

Viac od Chao Wang

Zobraziť všetko

Viac od toho istého vydavateľa

Pozrieť všetko od Chao Wang