Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
von
David L. Dill
Taschenbuch
Details (
USA
)
ISBN: 978-3-662-19402-7
ISBN-10: 3-662-19402-3
Springer
· 2014
S. auch:
2008
Taschenbuch
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Band 818)
1994
Paperback
Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994: Proceedings (Lecture Notes in Computer Science)