ISBN 9783642026577 books & textbook

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer Science, 5643)

Bouajjani, Ahmed Maler, Oded

Springer /2009-06-19 Paperback / 737 Pages
isbn-10: 3642026575 / isbn-13: 9783642026577