| On the Refinement Calculus 1992 Edition Contributor(s): Morgan, Carroll (Editor), Vickers, Trevor (Editor) |
|
 |
ISBN: 3540199314 ISBN-13: 9783540199311 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: December 1994 |
| Additional Information |
| BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Computer Science - Gardening |
| Dewey: 005.12 |
| LCCN: 92040591 |
| Series: Formal Approaches to Computing and Information Technology (F |
| Physical Information: 0.38" H x 6.14" W x 9.21" (0.56 lbs) 159 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |