Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Livres - Springer-Verlag New York Inc. - 9781489993953 - 6 décembre 2014
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 105,99

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 6 décembre 2014
ISBN13 9781489993953
Éditeurs Springer-Verlag New York Inc.
Pages 179
Dimensions 155 × 235 × 11 mm   ·   281 g
Langue et grammaire Anglais  

Plus par Chao Wang

Afficher tout

Voir tous les Chao Wang ( par ex. Hardcover Book et Paperback Book )