Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27 août 1997
Si la couverture et le titre ne correspondent pas, le titre est correct.

Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 10 - 18 sept.
Recevez une notification pour les nouvelles sorties de Thomas Kropf

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

Pas encore évalué

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 27 août 1997
ISBN13 9783540634751
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 388
Dimensions 155 × 233 × 22 mm   ·   494 g
Langue et grammaire Allemand  
Éditeur Kropf, Thomas

Plus par Thomas Kropf

Afficher tout

Plus d'ouvrages du même éditeur

Voir tous les Thomas Kropf ( par ex. Hardcover Book et Paperback Book )