Current Trends in Hardware Verification and Automated Theorem Proving - Couverture rigide

 
9783540969884: Current Trends in Hardware Verification and Automated Theorem Proving
Couverture rigide
ISBN 10 : 3540969888 ISBN 13 : 9783540969884
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1989
Langue
anglais
ISBN 10 
3540969888
ISBN 13 
9783540969884
Reliure
Relié
Nombre de pages
489
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780387969886: Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification : Papers

Edition présentée

ISBN 10 :  0387969888 ISBN 13 :  9780387969886
Editeur : Springer-Verlag New York Inc., 1989
Couverture rigide