Programming Books C Java PHP Python Learn more Browse Programming Books
Buy Used
FREE Shipping on orders over $35.
Used: Like New | Details
Sold by Text Solution
Condition: Used: Like New
Comment: Clean pages, just has cover wear. Check out our awesome feedback!
Access codes and supplements are not guaranteed with used items.
Add to Cart
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science) Hardcover – July 1, 1980

ISBN-13: 978-0135621325 ISBN-10: 0135621321

Price: $27.94
5 New from $82.23 14 Used from $13.06
Amazon Price New from Used from
"Please retry"
$82.23 $13.06



Save up to 90% on Textbooks
Rent textbooks, buy textbooks, or get up to 80% back when you sell us your books. Shop Now

Product Details

  • Hardcover: 505 pages
  • Publisher: Prentice Hall (July 1980)
  • Language: English
  • ISBN-10: 0135621321
  • ISBN-13: 978-0135621325
  • Product Dimensions: 9.4 x 7 x 1.5 inches
  • Shipping Weight: 2.4 pounds
  • Amazon Best Sellers Rank: #789,358 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers