On the Refinement Calculus

Trevor Vickers

ISBN 10: 3540199314 / ISBN 13: 9783540199311

Published by Springer London, Springer Berlin Heidelberg Dez 1994, 1994

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 176 pp. Englisch.

Seller Inventory # 9783540199311

Bibliographic Details

• Title: On the Refinement Calculus
• Publisher: Springer London, Springer Berlin Heidelberg Dez 1994
• Publication Date: 1994
• Language: English
• ISBN 10: 3540199314
• ISBN 13: 9783540199311
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 10D millimeters 235 millimeters width by 155 millimeters height by 10 millimeters depth
• Weight: 277 grams

About this title

Synopsis

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.