On the Refinement Calculus
K. Robinson (author), P. Gardiner (author), Carroll Morgan (editor), C. Morgan (editor), Trevor Vickers (editor)
Hardback Published on: 09/12/1993
Price: £72.00
Synopsis
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.
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540198093
- Number of pages: 159
- Dimensions: 235 x 155 mm
- Weight: 425g
- Languages: English
Customer Reviews
You may also like...
Ordinary Differential Equations
Price: £70.50
Calculus Made Easy
Price: £59.99
All of Statistics
Price: £49.99
Fundamentals Of Mathematical Analysis
Price: £74.99
Introductory Real Analysis
Price: £24.99
A First Course in Fourier Analysis
Price: £73.00
Infinitesimal
Price: £12.99
Limits, Limits Everywhere
Price: £38.99
Measurements and their Uncertainties
Price: £28.99
Vector Calculus
Price: £29.99
Introduction to Complex Analysis
Price: £48.99