Predicate calculus and program semantics Edsger W. Dijksstra, Carel S. Scholten. Texts and monographs in computer science.

Dijkstra, Edsger Wybe:

ISBN 10: 0387969578 / ISBN 13: 9780387969572

Published by New York, Springer-Verlag [1990]., 1990

About this Item

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

Bibliographic Details

• Title: Predicate calculus and program semantics Edsger W. Dijksstra, Carel S. Scholten. Texts and monographs in computer science.
• Publisher: New York, Springer-Verlag [1990].
• Publication Date: 1990
• Language: English
• ISBN 10: 0387969578
• ISBN 13: 9780387969572
• Binding: Hardcover
• Seller catalogs:
  • SA MATHEMATIK

About this title

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.