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.
- PublisherSpringer
- Publication date1989
- ISBN 10 0387969578
- ISBN 13 9780387969572
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages220
- Rating
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