Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Książki - Springer-Verlag New York Inc. - 9780387341552 - 20 lipca 2006
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 462,90

Zamówione z odległego magazynu

Przewidywana dostawa 13 - 22 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 20 lipca 2006
ISBN13 9780387341552
Wydawcy Springer-Verlag New York Inc.
Strony 179
Wymiary 155 × 235 × 12 mm   ·   467 g

Więcej od Chao Wang

Pokaż wszystko

Zobacz wszystko od Chao Wang ( np. Hardcover Book i Paperback Book )