Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Knjige - Springer-Verlag New York Inc. - 9781489993953 - 6. decembra 2014
Č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
€ 105,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 30. jul - 7. avg
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     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 6. decembra 2014
ISBN13 9781489993953
Založniki Springer-Verlag New York Inc.
Strani 179
Dimenzije 155 × 235 × 11 mm   ·   281 g
Jezik Angleščina  

Več od Chao Wang

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Chao Wang ( Na primer Paperback Book , Hardcover Book in Book )