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

On the Refinement Calculus
Language: en
Pages: 169
Authors: Carroll Morgan
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specification
Using Z
Language: en
Pages: 412
Authors: Jim Woodcock
Categories: Computers
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the
Programming from Specifications
Language: en
Pages: 360
Authors: Carroll Morgan
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a
Data Refinement
Language: en
Pages: 439
Authors: W.-P. de Roever
Categories: Computers
Type: BOOK - Published: 1998-12-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulat
Beauty Is Our Business
Language: en
Pages: 488
Authors: W.H.J. Feijen
Categories: Computers
Type: BOOK - Published: 1990-04-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be i