Hardback (31 Jan 1990)
Not available for sale
Out of stock
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.
| ISBN: | 9783540969570 |
| Publisher: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Imprint: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Pub date: | 31 Jan 1990 |
| Language: | English |
| Number of pages: | 231 |
| Weight: | 480g |
| Height: | 240mm |
$2.82off
The Calculus Gallery
Paperback
Published 27 Nov 2018
Save $2.82
$7.12off
TensorFlow 2 Pocket Reference
Paperback
Published 03 Aug 2021
Save $7.12
$22.65off
Instability and Non-Uniqueness ...
Paperback
Published 13 Feb 2024
Save $22.65
$0.49off
Intermediate Microeconomics Wit...
Paperback
Published 01 Jul 2024
Save $0.49
The Atlas of Social Complexity
Hardback
Published 21 Jun 2024
$56.74off
Mathematical Tools for Applied ...
Paperback
Published 01 Sep 1997
Save $56.74
Physics for Scientists and Engi...
Hardback
Published 31 Jan 2018
$6.98off
Symplectic Techniques in Physics
Paperback
Published 16 Aug 1990
Save $6.98
$36.50off
Mathematical Analysis
Paperback
Published 14 Sep 2004
Save $36.50