  2009 - Verification of Sequential and Concurrent Programs [Texts in Computer Science] (Hardcover) ISBN-13: 9781848827448 ISBN-10: 184882744X ?  2007 - Constraint Logic Programming Using Eclipse (Hardcover) ISBN-13: 9780521866286 ISBN-10: 0521866286 Genres: Computers & Technology, Science & Math ?  1997 - Verification of Sequential and Concurrent Programs [2nd ed - Graduate Texts in Computer Science] (Hardcover) ISBN-13: 9780387948966 ISBN-10: 0387948961 Genres: Computers & Technology, Substores ?  1996 - From Logic Programming to Prolog (Other) ISBN-13: 9780132303682 ISBN-10: 013230368X Genre: Computers & Technology ?  1996 - Programmverifikation Sequentielle Parallele Und Verteilte Programme [Springer-Lehrbuch - German Edition] (Paperback) ISBN-13: 9783540574798 ISBN-10: 3540574794 ?  Verification of Sequential and Concurrent Programs [Texts and Monographs in Computer Science] (Hardcover) ISBN-13: 9780387975320 ISBN-10: 0387975322 Genres: Computers & Technology, Reference, Science & Math ?  Verification of Sequential and Concurrent Programmes [Texts and Monographs in Computer Science] (Hardcover) ISBN-13: 9783540975328 ISBN-10: 3540975322 ? |
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
