Predicate Calculus and Program Semantics (Monographs in Computer Science)
Dijkstra, Edsger W.
ISBN 10: 3540969578 ISBN 13: 9783540969570
Published by Springer Berlin, 1990
Used
Hardcover
From
Buchmarie, Darmstadt, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 21 June 2021
This specific copy is no longer available. Here are our closest matches for Predicate Calculus and Program Semantics (Monographs in Computer Science) by Dijkstra, Edsger W..
About this Item
Description:
Namenseintrag. Seller Inventory # 3263240_7f7
Synopsis:
This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and strongest solutions in terms of the weakest precondition and the weakest liberal precondition, the notion of determinacy is defined it is shown how to cope unbounded nondeterminacy without using transfinite induction.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Predicate Calculus and Program Semantics (...
Publisher: Springer Berlin
Publication Date: 1990
Binding: Hardcover
Condition: Good
Top Search Results from the AbeBooks Marketplace
Stock Image
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_409206602
Stock Image
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0387969578I4N01
Stock Image
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2716030029265
Stock Image
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 231 pages. 9.50x6.75x0.50 inches. In Stock. Seller Inventory # x-1461279240
Buy New
£ 116.22
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available