Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Książki - Springer-Verlag New York Inc. - 9781489993953 - 6 grudnia 2014
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ł 444,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 13 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     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 6 grudnia 2014
ISBN13 9781489993953
Wydawcy Springer-Verlag New York Inc.
Strony 179
Wymiary 155 × 235 × 11 mm   ·   281 g
Język Angielski  

Więcej od Chao Wang

Pokaż wszystko

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