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 |