9295716
9783540198093
Out of Stock
The item you're looking for is currently unavailable.
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.Morgan, Carroll is the author of 'On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))', published 1994 under ISBN 9783540198093 and ISBN 3540198091.
[read more]