Predicate Calculus and Program Semantics (Monographs in Computer Science)

Dijkstra, Edsger W.

ISBN 10: 3540969578 / ISBN 13: 9783540969570

Verlag: Springer Berlin, 1990

Beschreibung

Namenseintrag. Bestandsnummer des Verkäufers 3263240_7f7

Bibliografische Details

Titel: Predicate Calculus and Program Semantics (...

Verlag: Springer Berlin

Erscheinungsdatum: 1990

Einband: Hardcover

Zustand: Good

Über diesen Titel

Inhaltsangabe:

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.