On the Refinement Calculus

On the Refinement Calculus
Author :
Publisher : Springer Science & Business Media
Total Pages : 169
Release :
ISBN-10 : 9781447132738
ISBN-13 : 1447132734
Rating : 4/5 (38 Downloads)

Book Synopsis On the Refinement Calculus by : Carroll Morgan

Download or read book On the Refinement Calculus written by Carroll Morgan and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


On the Refinement Calculus Related Books