1992
Hardback (09 Dec 1993) | German
Not available for sale
Out of stock
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
| ISBN: | 9783540198093 |
| Publisher: | Springer London |
| Imprint: | Springer |
| Pub date: | 09 Dec 1993 |
| Edition: | 1992 |
| DEWEY: | 515 |
| Language: | German |
| Number of pages: | 159 |
| Weight: | 425g |
| Height: | 216mm |
| Width: | 138mm |
$2.56off
The Calculus Gallery
Paperback
Published 27 Nov 2018
Save $2.56
$6.70off
TensorFlow 2 Pocket Reference
Paperback
Published 03 Aug 2021
Save $6.70
Every Bit Counts
Paperback
Published 13 Dec 2024
$8.70off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.70
$3.14off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.14
$16.40off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.40
Smart-Tech Society
Paperback
Published 14 Jun 2024
Just Enough Research
Paperback
Published 01 Oct 2024