Your Waterstones card is changing, introducing...
TELL ME MORE
On the Refinement Calculus - Formal Approaches to Computing & Information Technology (FACIT) (Hardback)
  • On the Refinement Calculus - Formal Approaches to Computing & Information Technology (FACIT) (Hardback)
zoom

On the Refinement Calculus - Formal Approaches to Computing & Information Technology (FACIT) (Hardback)

(author), (author), (editor), (editor), (editor)
£72.00
Hardback Published: 09/12/1993
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540198093
Weight: 425 g
Dimensions: 235 x 155 mm

You may also be interested in...

Introduction to Complex Analysis
Added to basket
Mathematics and Its History
Added to basket
Schaums Outline of Tensor Calculus
Added to basket
Calculus: A Complete Course
Added to basket
The Cartoon Guide to Calculus
Added to basket
Complex Analysis
Added to basket
£29.99
Paperback
Calculus Made Easy
Added to basket
£38.99
Paperback
How to Think About Analysis
Added to basket
Stochastic Differential Equations
Added to basket
A Brief Guide to the Great Equations
Added to basket
Quick Calculus
Added to basket
£15.99
Paperback
Calculus
Added to basket
£20.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.