  Higher Order Logic and Hardware Verification [Cambridge Tracts in Theoretical Computer Science] (Paperback) → Hardcover ISBN-13: 9780521115322 ISBN-10: 0521115329 ?  Higher Order Logic and Hardware Verification [Cambridge Tracts in Theoretical Computer Science] (Hardcover) → Paperback ISBN-13: 9780521417181 ISBN-10: 052141718X Genres: Computers & Technology, Substores ?  Higher Order Logic Theorem Proving and Its Application 7th International Workshop Valletta Malta September 1922 1994 Proceedings [Lecture Notes in Computer Science] (Hardcover) ISBN-13: 9780387584508 ISBN-10: 0387584501 ?  Theorem Provers in Circuit Design Proceedings of the Ifip Tc10/wg102 International Conference on Theorem Provers in Circuit Design Theory Pract [Ifip ... a, Computer Science and Technology, a-10] (Paperback) ISBN-13: 9780444896865 ISBN-10: 0444896864 Genre: Computers & Technology ? |
Skip to main content
Swap Used Books - Buy New Books at Great Prices!
How To Swap Books
Sign Up
Search 
Kiosk
PBS Market (New Books)
Book Browser
Advanced Search
Books Posted Today
Member Book Reviews
Award Winning Books
NYT Best Sellers
Amazon Best Sellers
Most Traveled Copies
Club Wish List
Login
Community
Discussion Forums
Book Lists
Blog
Donations
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
Top 100
Pulse of PBS
Spread The Word
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
Kiosk
PBS Market (New Books)
Go Shopping
Buy Credits
Buy PBS Money
Upgrade Membership
Gift Certificates
Transfer Credits
