ISBN 9783540733676 books & textbook

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)

Damm, Werner Hermanns, Holger

Springer /2007-07-02 Paperback / 577 Pages
isbn-10: 3540733671 / isbn-13: 9783540733676