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

 
9781461236597: Current Trends in Hardware Verification and Automated Theorem Proving
Couverture souple
ISBN 10 : 1461236592 ISBN 13 : 9781461236597
Editeur : Springer, 2011

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461236592
ISBN 13 
9781461236597
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

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