Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Knjige - Springer-Verlag New York Inc. - 9780387341552 - 20. julija 2006
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 110,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 11. - 25. sep
Prejemajte obvestila o novih izdajah izvajalca Chao Wang

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 20. julija 2006
ISBN13 9780387341552
Založniki Springer-Verlag New York Inc.
Strani 179
Dimenzije 155 × 235 × 12 mm   ·   467 g
Jezik Angleščina  

Več od Chao Wang

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Chao Wang