Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994: Proceedings (Lecture Notes in Computer Science)
by
David L. Dill
Paperback
details (
USA
).
ISBN: 978-0-387-58179-8
ISBN-10: 0-387-58179-0
Springer Verlag
· 1994
See also:
2014
Paperback
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
2008
Taschenbuch
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science (818), Band 818)
