Items related to Predicate Calculus and Program Semantics (Monographs...
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Predicate Calculus and Program Semantics (Monographs...
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
Quantity: 1 available
Seller Image
Predicate calculus and program semantics Edsger W. Dijksstra, Carel S. Scholten. Texts and monographs in computer science.
Published by
New York, Springer-Verlag [1990]., 1990
ISBN 10: 0387969578
ISBN 13: 9780387969572
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 513 9780387969572 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2502872
Quantity: 1 available