We see that javascript is disabled or not supported by your browser -
javascript is needed
for important actions on the site.
Read more
Skip to main content
What's New
-
Home
-
Login
Member $avings: $
81,551,328.38
|
Books Available:
799,709
|
Members Online: 87
Swap Used Books - Buy New Books at Great Prices!
How To Swap Books
Sign Up
Search
All Books
PBS Market (New Books)
Gift Buying Guide
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
Club Lists
My Book Lists
My Watched Lists
Create a List
Blog
Donations
School Donation Program
In Memory of...
Military Donation Program
Friends of PBS
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
20 Questions
Sudoku
Bookmark Creator
Top 100
Wishes
Requests
Posts
Swappers
Referrers
Reviewers
Pulse of PBS
Spread The Word
Invite Friends
Bookmarks
Facebook Page
Facebook App
More Ways...
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
How To Swap Books
Browse Help Docs
Ask the Librarian
PBS Member Icons
Live Help
Kiosk
PBS Market (New Books)
Go Shopping
Buy Credits
Buy PBS Money
Upgrade Membership
Gift Certificates
Transfer Credits
How to Swap Books
Sign Up
Login
Community
Help Center
Kiosk
Want fewer ads?
Search
- List of Books by J. M. Spivey
Total Books:
5
Chronological List
Alphabetical List
Available Only List
An Introduction to Logic Programming Through Prolog
[Prentice Hall International Series in Computer Science]
(
Other
)
ISBN-13:
9780135360477
ISBN-10:
0135360471
Genres:
Computers & Technology
,
Reference
,
Science & Math
?
Native Americans in the Carolina Borderlands a Critical Ethnography
(
Paperback
)
→
Hardcover
ISBN-13:
9781891026102
ISBN-10:
1891026100
Genre:
History
?
Understanding Z a Specification Language and Its Formal Semantics
[Cambridge Tracts in Theoretical Computer Science]
(
Paperback
)
→
Hardcover
ISBN-13:
9780521054140
ISBN-10:
0521054141
Genre:
Computers & Technology
?
Understanding Z a Specification Language and Its Formal Semantics
[Cambridge Tracts in Theoretical Computer Science]
(
Hardcover
)
→
Paperback
ISBN-13:
9780521334297
ISBN-10:
0521334292
Genres:
Computers & Technology
,
Engineering & Transportation
?
The Z Notation a Reference Manual
[Prentice-Hall International Series in Computer Science]
(
Paperback
)
→
Paperback
ISBN-13:
9780139785290
ISBN-10:
0139785299
Genres:
Computers & Technology
,
Reference
,
Science & Math
?
Want fewer ads?