+612 9045 4394
 
CHECKOUT
On the Refinement Calculus : Formal Approaches to Computing and Information Technology (F - Carroll Morgan

On the Refinement Calculus

Formal Approaches to Computing and Information Technology (F

By: Carroll Morgan (Editor), Trevor Vickers (Editor)

Paperback ISBN: 9783540199311
Number Of Pages: 159

Share This Book:

Paperback

$146.95
or 4 easy payments of $36.74 with Learn more
Ships in 5 to 9 business days

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.

Introduction
The Specification Statementp. 1
Specification Statements and Refinementp. 23
Procedures, Parameters, and Abstraction: Separate Concernsp. 47
Data Refinement by Miraclesp. 59
Auxiliary Variables in Data Refinementp. 65
Data Refinement of Predicate Transformersp. 71
Data Refinement by Calculationp. 85
A Single Complete Rule for Data Refinementp. 111
Types and Invariants in the Refinement Calculusp. 127
Referencesp. 155
Authors' Addressesp. 159
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540199311
ISBN-10: 3540199314
Series: Formal Approaches to Computing and Information Technology (F
Audience: General
Format: Paperback
Language: English
Number Of Pages: 159
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 0.97
Weight (kg): 0.25
Edition Type: New edition