Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Verification

von David L. Dill

Taschenbuch

ISBN: 978-3-662-19402-7

ISBN-10: 3-662-19402-3

Springer · 2014

S. auch:
2008TaschenbuchComputer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Band 818)
1994PaperbackComputer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994: Proceedings (Lecture Notes in Computer Science)