Stock image for illustration purposes only - book cover, edition or condition may vary.
On the Refinement Calculus
Morgan, Carroll; Gardiner, P.; Robinson, K.. Ed(S): Morgan, Carroll; Vickers, Trevor
€ 63.19
FREE Delivery in Ireland
Description for On the Refinement Calculus
Paperback. Designed for those who seek background material on the mathematical underpinnings of the refinement calculus, this monograph explores one view of the development of the calculus, plus its attempt to bring together Z specifications and Dijkstra's programming language. Editor(s): Morgan, Carroll; Vickers, Trevor. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 159 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 280.
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 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.
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
159
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
159
Place of Publication
Berlin, Germany
ISBN
9783540199311
SKU
V9783540199311
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for On the Refinement Calculus