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

Von Bochmann, G.

 
9780387564968: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings
Brossura
ISBN 10: 0387564969 ISBN 13: 9780387564968
Casa editrice: Springer Verlag, 1994
Editore
Springer Verlag
Data di pubblicazione
1994
Lingua
Inglese
ISBN 10 
0387564969
ISBN 13 
9780387564968
Rilegatura
Copertina flessibile
Redattore
Probst D. K.
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540564969 ISBN 13:  9783540564966
Casa editrice: Springer, 2008
Brossura