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

Objednané zo vzdialeného skladu

Očakávané doručenie 10. - 18. sep
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     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 06. decembra 2014
ISBN13 9781489993953
Vydavatelia Springer-Verlag New York Inc.
Strany 179
Rozmery 155 × 235 × 11 mm   ·   281 g
Jazyk Angličtina  

Viac od Chao Wang

Zobraziť všetko

Viac od toho istého vydavateľa

Pozrieť všetko od Chao Wang ( napr. Hardcover Book , Paperback Book a Book )