Articles liés à Predicate Calculus and Program Semantics
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition1990
- ISBN 10 3540969578
- ISBN 13 9783540969570
- ReliureRelié
- Langueanglais
- Nombre de pages231
- Coordonnées du fabricantnon disponible
Autres éditions populaires du même titre
Résultats de recherche pour Predicate Calculus and Program Semantics
Image d'archives
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Edité par
Springer Berlin, 1990
ISBN 10 : 3540969578
ISBN 13 : 9783540969570
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchmarie, Darmstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Namenseintrag. N° de réf. du vendeur 3263240_7f7
Quantité disponible : 1 disponible(s)