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
Publisher: Springer Verlag, 1994
Publisher
Springer Verlag
Publication date
1994
Language
English
ISBN 10 
0387564969
ISBN 13 
9780387564968
Binding
Paperback
Editor
Probst D. K.

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540564969 ISBN 13:  9783540564966
Publisher: Springer, 1993
Softcover