Buy Used
£43.40
+ £0.00 delivery
Used: Good | Details
Condition: Used: Good
Comment: A copy that has been read, but remains in clean condition. All pages are intact, and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting, and the copy can include previous owner inscriptions. An ex-library book and may have standard library stamps and/or stickers. At ThriftBooks, our motto is: Read More, Spend Less.
Have one to sell?
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

Predicate Calculus and Program Semantics (Monographs in Computer Science) Hardcover – 4 Jan 1990


See all 4 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Hardcover, 4 Jan 1990
£40.60
click to open popover

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.



Product details

  • Hardcover: 220 pages
  • Publisher: Springer (4 Jan. 1990)
  • Language: English
  • ISBN-10: 0387969578
  • ISBN-13: 978-0387969572
  • Product Dimensions: 16.5 x 1.9 x 24.8 cm
  • Average Customer Review: Be the first to review this item
  • Amazon Bestsellers Rank: 2,415,853 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

  • See Complete Table of Contents

Product description

Synopsis

A self-contained foundation of predicate transformer semantics, using the predicate calculus, and defining the semantics of the repetitive construct and the notion of determinacy. Distinguished from other works on program semantics by its nonoperational approach, and from mathematical texts by the calculational format of its proofs. For computing s


Customer reviews

There are no customer reviews yet.
Share your thoughts with other customers

Where's My Stuff?

Delivery and Returns

Need Help?