[Scalable Hardware Verification with Symbolic Simulation] (By: Valeria Bertacco) [published: December, 2005] - Couverture rigide

Valeria Bertacco

9783872441157: [Scalable Hardware Verification with Symbolic Simulation] (By: Valeria Bertacco) [published: December, 2005]

Couverture rigide

ISBN 10 : 3872441159 ISBN 13 : 9783872441157

Editeur : Springer-Verlag New York Inc., 2005

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

D�tails de l'�dition

�diteur: Springer-Verlag New York Inc.
Date d'�dition: 2005
Langue: anglais
ISBN 10: 3872441159
ISBN 13: 9783872441157
Reliure: Reli�
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Autres �ditions populaires du m�me titre

9781441937391: Scalable Hardware Verification with Symbolic Simulation

Edition pr�sent�e

ISBN 10 : 1441937390 ISBN 13 : 9781441937391
Editeur : Springer, 2010
Couverture souple

Springer-Verlag N..., 2005 (Couverture rigide)