Buy Used and New WernerDamm Books

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

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later