  1996 - Specification of Abstract Data Types [Wiley Teubner on Applicable Theory in Computer Science] (Hardcover) ISBN-13: 9780471950677 ISBN-10: 047195067X Genres: Computers & Technology, Science & Math, Engineering & Transportation ?  1987 - The Foundations of Program Verification 2nd Edition (Hardcover) ISBN-13: 9780471912828 ISBN-10: 0471912824 Genre: Computers & Technology ?  Computability and Decidability an Introduction for Students of Computer Science [Lecture notes in economics and mathematical systems] (Paperback) ISBN-13: 9780387058696 ISBN-10: 0387058699 Genre: Science & Math ?  Algorithmentheorie [Hochschultext - German Edition] (Other) ISBN-13: 9780387079332 ISBN-10: 0387079335 Genres: Nonfiction, Science & Math ?  The Foundations of Program Verification [Wiley-Teubner Series in Computer Science] (Hardcover) ISBN-13: 9780471903239 ISBN-10: 047190323X Genres: Reference, Science & Math ?  Foundations of Programming Languages (Paperback) ISBN-13: 9780471921394 ISBN-10: 0471921394 Genre: Science & Math ?  The Foundations of Program Verification [Wiley-Teubner series in computer science] (Other) → Hardcover ISBN-13: 9783519021018 ISBN-10: 3519021013 ? |
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
