Founded in 1997, BookFinder.com has become a leading book price comparison site:

Find and compare hundreds of millions of new books, used books, rare books and out of print books from over 100,000 booksellers and 60+ websites worldwide.

Computer Aided Verification 8th International Conference, CAV 96, New Brunswick,

Computer Aided Verification 8th International Conference, CAV 96, New Brunswick,

ISBN 3540614745 / 9783540614746 / 3-540-61474-5

Find This Book