Scalable Techniques for Formal Verification - Couverture rigide

9781441959980: Scalable Techniques for Formal Verification

Couverture rigide

ISBN 10 : 144195998X ISBN 13 : 9781441959980

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

D�tails de l'�dition

ISBN 10: 144195998X
ISBN 13: 9781441959980
Reliure: Reli�
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Autres �ditions populaires du m�me titre

9781441959973: Scalable Techniques for Formal Verification

Edition pr�sent�e

ISBN 10 : 1441959971 ISBN 13 : 9781441959973
Editeur : Springer-Verlag New York Inc., 2010
Couverture rigide