Verwandte Artikel zu Predicate Calculus and Program Semantics (Monographs...
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Erscheinungsdatum1990
- ISBN 10 3540969578
- ISBN 13 9783540969570
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten231
- Kontakt zum HerstellerNicht verfügbar
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Predicate Calculus and Program Semantics (Monographs...
Beispielbild für diese ISBN
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Anbieter: Buchmarie, Darmstadt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Namenseintrag. Bestandsnummer des Verkäufers 3263240_7f7
Anzahl: 1 verfügbar