On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT)) - Hardcover

 
9783540198093: On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
Hardcover
ISBN 10: 3540198091 ISBN 13: 9783540198093
Publisher: Springer, 1994

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
1994
Language
English
ISBN 10 
3540198091
ISBN 13 
9783540198093
Binding
Hardcover
Number of pages
159
Editor
Morgan Carroll, Vickers Trevor

Other Popular Editions of the Same Title

9780387198095: On the Refinement Calculus (Formal Applications of Computing & Information Technology)

Featured Edition

ISBN 10:  0387198091 ISBN 13:  9780387198095
Publisher: Springer-Verlag Telos, 1994
Hardcover