On the Refinement Calculus
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 mathema...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
London
Springer London
1992, 1992
|
Edition: | 1st ed. 1992 |
Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Summary: | 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 |
---|---|
Physical Description: | XI, 159 p online resource |
ISBN: | 9781447132738 |