Code: 05273677

On the Refinement Calculus

Name: On the Refinement Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05273677
Price: 51.62 EUR
Availability: InStock
Author: Carroll Morgan
ISBN: 9783540199311

by Carroll Morgan, Trevor Vickers

Language: English
Binding: Paperback
Number of pages: 159
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994
More about this

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Hewing Contemporary Bowls
10.40 € -25 %
Buy
Günter Grass 'Die Blechtrommel'
7.67 € -23 %
Buy
Kuma Kuma Kuma Bear (Light Novel) Vol. 9
10.80 € -27 %
Buy
Cvičebnice Matematika Scio - Národní srovnávací zkoušky
22.12 €
Buy
Stephen Burrows
32.02 € -24 %
Buy
Acts for Everyone (Part 2)
15.75 € -10 %
Buy
Inglourious Basterds
20.30 € -10 %
Buy
Daniel Goes on an Egg Hunt: Ready-To-Read Pre-Level 1
16.66 € -9 %
Buy
Riemann's Boundary Problem with Infinite Index
102.84 € -7 %
Buy
Logbooks
25.15 € -9 %
Buy
Introduction to Wavelets Through Linear Algebra
60.51 € -9 %
Buy
Scorsese: Meine italienische Reise, DVD
15.55 €
Buy
Agamemnon
17.47 € -2 %
Buy
Petit ours brun fête son anniversaire
5.65 €
Buy
Traditionelle Chinesische Medizin
9.79 € -5 %
Buy
Banking Bucks by Busting Bureaucratic Barriers: Technical Services Proposal Development
13.23 €
Buy
Das Liederbuch 2004-2010
40 €
Buy
EAT HAPPY
25.05 € -25 %
Buy
Category Theory and Computer Science
51.62 € -7 %
Buy
Practical Obstacles to the Avoidance of Double Taxation in Europe
290.96 €
Buy
Euro, Inflation and Consumers' Perceptions
102.84 € -7 %
Buy
Zarządzanie w kryzysie. Aspekty organizacyjne i psychologiczne (wyd. III)
22.42 €
Buy
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung
16.16 € -10 %
Buy
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress
569.20 €
Buy
Abissinia Giornale di un viaggio
16.16 € -10 %
Buy
Vive le Pericarde Libre !
20.70 € -6 %
Buy
Die Abendburg: Chronika eines Goldsuchers in zwölf Abenteuern
25.05 € -7 %
Buy
The Dragon Dimension - 2nd Edition - Rated PG-16: Caught in the Dragon Cove
15.75 € -7 %
Buy
Hindi Structures Intermediate Level, with Drills, Exercises, and Key
28.68 €
Buy
Odette - Un printemps à Paris (Nouvelle édition)
21.71 €
Buy
Multi-Agent System Engineering
51.62 € -7 %
Buy
William Shakespeare - Subject of the Crown?
7.37 € -14 %
Buy
Modern Electroencephalographic Assessment Techniques
100.62 € -9 %
Buy
Rushing with the Wind
20.30 €
Buy
Zeitungsanalyse 'Tagespost' 02.1919-03.1919
17.06 € -10 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

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