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

Verification

von David L. Dill

Taschenbuch

EAN=ISBN-13: 978-3-540-58179-6

ISBN-10: 3-540-58179-0

Springer · 2008

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