Cover Image

On the Refinement Calculus /

Show other versions (1)

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 mathema...

Full description

Bibliographic Details
Main Author: Morgan, Carroll
Corporate Author: SpringerLink (Online service)
Other Authors: Vickers, Trevor
Format: eBook
Language:English
Published: London : Springer London, 1994.
Series:Formal Approaches to Computing and Information Technology (FACIT)
Subjects:
Computer science.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource (XI, 159 pages)
ISBN:9781447132738 (electronic bk.)
1447132734 (electronic bk.)