BooksPrice.com

book price comparison

ISBN 9783540710691 books & textbook

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer Science, 5195)

Armando, Alessandro  Baumgartner, Peter  Dowek, Gilles  

Springer /2008-07-25 Paperback / 568 Pages
isbn-10: 3540710698 / isbn-13: 9783540710691
 

compare price