1992
Paperback (13 Dec 1994)
Save $8.24
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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: | 9783540199311 |
| Publisher: | Springer London |
| Imprint: | Springer |
| Pub date: | 13 Dec 1994 |
| Edition: | 1992 |
| Language: | English |
| Number of pages: | 159 |
| Weight: | 280g |
| Height: | 216mm |
| Width: | 138mm |
| Spine width: | 10mm |
$2.40off
Calculus
Paperback
Published 31 May 2013
Save $2.40
$0.91off
Essential Calculus
Hardback
Published 24 Feb 2012
Save $0.91
$4.37off
The Calculus Story
Hardback
Published 23 Nov 2017
Save $4.37
Acta Numerica 2024
Hardback
Published 07 Nov 2024
$6.95off
Moral AI
Hardback
Published 08 Feb 2024
Save $6.95
$8.85off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.85
$4.80off
Quantum Supremacy
Paperback
Published 02 May 2024
Save $4.80
$19.17off
The AI Delusion
Hardback
Published 23 Aug 2018
Save $19.17
$2.92off
As If Human
Hardback
Published 03 May 2024
Save $2.92
$5.09off
Hao Wang. Logician and Philosop...
Paperback
Published 02 Nov 2011
Save $5.09