Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings - Couverture souple

 
9780387581798: Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings
Couverture souple
ISBN 10 : 0387581790 ISBN 13 : 9780387581798

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

Langue
anglais
ISBN 10 
0387581790
ISBN 13 
9780387581798
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540581796: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Edition présentée

ISBN 10 :  3540581790 ISBN 13 :  9783540581796
Editeur : Springer, 2008
Couverture souple