Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science) - Softcover

Von Bochmann, G.

 
9780387564968: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387564969 ISBN 13: 9780387564968
Verlag: Springer Verlag, 1994
Verlag
Springer Verlag
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0387564969
ISBN 13 
9780387564968
Einband
Tapa blanda
Herausgeber
Probst D. K.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783540564966: Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings: 663 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3540564969 ISBN 13:  9783540564966
Verlag: Springer, 2008
Softcover