Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387581798: Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387581790 ISBN 13: 9780387581798

This specific ISBN edition is currently not available.

Language
English
ISBN 10 
0387581790
ISBN 13 
9780387581798
Binding
Paperback

Other Popular Editions of the Same Title

9783540581796: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings: 818 (Lecture Notes in Computer Science, 818)

Featured Edition

ISBN 10:  3540581790 ISBN 13:  9783540581796
Publisher: Springer, 1994
Softcover