Predicate Calculus and Program Semantics (Monographs in Computer Science)

Dijkstra, Edsger W.

ISBN 10: 3540969578 / ISBN 13: 9783540969570

Edité par Springer Berlin, 1990

A propos de cet article

Namenseintrag. N° de réf. du vendeur 3263240_7f7

Détails bibliographiques

Titre : Predicate Calculus and Program Semantics (...

Éditeur : Springer Berlin

Date d'édition : 1990

Reliure : Couverture rigide

Etat : Good

A propos de ce titre

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.