Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings - Couverture souple

Von Bochmann, G.

 
9780387564968: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings
Couverture souple
ISBN 10 : 0387564969 ISBN 13 : 9780387564968
Editeur : Springer Verlag, 1994
Éditeur
Springer Verlag
Date d'édition
1994
Langue
anglais
ISBN 10 
0387564969
ISBN 13 
9780387564968
Reliure
Broché
Éditeur
Probst D. K.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540564966: Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Edition présentée

ISBN 10 :  3540564969 ISBN 13 :  9783540564966
Editeur : Springer, 2008
Couverture souple