Chapter: A tutorial on the refinement calculus

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > VDM ' 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials > A tutorial on the refinement calculus

VDM ' 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials |

Soren Prehn; Hans Toetenel

Springer Berlin Heidelberg

VDM ' 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials

A tutorial on the refinement calculus

Chapter Info

Authors

J. C. P. Woodcock

ARI Id

1664619852557_2453725

Access

Not Available Free

Pages

79-140

DOI

10.1007/BFb0019996

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0019996

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 10 of 10 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter
A tutorial on Larch and LCL, a Larch/C interface language	John V. Guttag; James J. Horning	1-78
A tutorial on the refinement calculus	J. C. P. Woodcock	79-140
Tutorial lecture notes on the Irish School of the VDM	Mícheál Mac an Airchinnigh	141-237
The RAISE specification language a tutorial	Chris George	238-319
Formal Development with ABEL	Ole-Johan Dahl; Olaf Owe	320-362
The PROSPECTRA methodology and system: uniform transformational (meta-) development	Bernd Krieg-Brückner; Einar W. Karlsen; Junbo Liu; Owen Traynor	363-397
The B-method	J. -R. Abrial; M. K. O. Lee; D. S. Neilson; P. N. Scharbach; I. H. Sørensen	398-405
Mathematical methods for digital systems development	Donald I. Good; William D. Young	406-430
Back Matter
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 10 of 10 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries