Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

On the Refinement Calculus

Language EnglishEnglish
Book Paperback
Book On the Refinement Calculus Carroll Morgan
Libristo code: 05273677
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 1994
On the Refinement Calculus gives one view of the development of the refinement calculus and its atte... Full description
? points 132 b
54.41 €
106.41  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Odette - Un printemps à Paris (Nouvelle édition) Dumas Philippe / Book Hardback
common.buy 22.34 € 43.69 лв
Scorsese: Meine italienische Reise, DVD Martin Scorsese / Video DVD
common.buy 15.93 € 31.15 лв
Petit ours brun fête son anniversaire Marie Aubinais / Book Book
common.buy 5.53 € 10.81 лв
Cvičebnice Matematika Scio - Národní srovnávací zkoušky / Book Paperback
common.buy 21.72 € 42.48 лв
Dictionnaire alimentaire de la perte de poids Cédric Menard / Book Paperback
common.buy 21.41 € 41.87 лв
Agamemnon Humboldt / Book Paperback
common.buy 18.41 € 36.00 лв
Die Abendburg: Chronika eines Goldsuchers in zwölf Abenteuern Bruno Wille / Book Paperback
common.buy 26.42 € 51.68 лв
Vive le Pericarde Libre ! Montserrat Gascon Segundo / Book Paperback
common.buy 21.87 € 42.78 лв
Traditionelle Chinesische Medizin Paul U. Unschuld / Book Paperback
common.buy 10.13 € 19.82 лв
Die «Vision des Tnugdalus» Albers von Windberg Brigitte Pfeil / Book Paperback
common.buy 122.94 € 240.44 лв
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Book Paperback
common.buy 17.11 € 33.47 лв
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Book Paperback
common.buy 18.05 € 35.29 лв
Affordable
Günter Grass 'Die Blechtrommel' Günter Grass / Book Paperback
common.buy 7.70 € 15.06 лв
Abissinia Giornale di un viaggio Giuseppe Vigoni / Book Paperback
common.buy 17.11 € 33.47 лв
Das Liederbuch 2004-2010 Silbermond / Book Paperback
common.buy 41.42 € 81.02 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name On the Refinement Calculus
Author Carroll Morgan, Trevor Vickers
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 159
EAN 9783540199311
ISBN 3540199314
Libristo code 05273677
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 280
Dimensions 155 x 235 x 15

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Introduction to Wavelets Through Linear Algebra Michael W. Frazier / Book Hardback
common.buy 63.87 € 124.92 лв
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Book Hardback
common.buy 108.56 € 212.32 лв
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Book Paperback
common.buy 108.56 € 212.32 лв
Making Sense of the Bible Adam Hamilton / Book Paperback
common.buy 17.17 € 33.57 лв
Hewing Contemporary Bowls Tammi Mann / Book Paperback
common.buy 11.84 € 23.16 лв
Hindi Structures Intermediate Level, with Drills, Exercises, and Key Peter Edwin Hook / Book Paperback
common.buy 29.89 € 58.46 лв
Banking Bucks by Busting Bureaucratic Barriers: Technical Services Proposal Development Tom Alman / Book Paperback
common.buy 13.18 € 25.79 лв
Rushing with the Wind Allene Morrow Sonntag / Book Paperback
common.buy 18.82 € 36.81 лв
Star Wars for Beginning Piano Solo John Williams / Printed items Sheet music
common.buy 14.84 € 29.02 лв
William Shakespeare - Subject of the Crown? Manuela Sonntag / Book Paperback
common.buy 7.80 € 15.27 лв
All the Castles Burned Michael Nye / Book Paperback
common.buy 14.27 € 27.91 лв
EAT HAPPY Anna Vocino / Book Hardback
common.buy 26.84 € 52.49 лв
The Dragon Dimension - 2nd Edition - Rated PG-16: Caught in the Dragon Cove Ressa Empbra / Book Paperback
common.buy 16.65 € 32.56 лв
Creep: Madison Price, Detective Story Leona Landry Thor / Book Paperback
common.buy 11.22 € 21.94 лв
On The Silurian Formation In The Pentland Hills (1865) George C. Haswell / Book Paperback
common.buy 14.99 € 29.33 лв
Top
Kuma Kuma Kuma Bear (Light Novel) Vol. 9 V09 / Book Paperback
common.buy 12.30 € 24.07 лв
Daniel Goes on an Egg Hunt: Ready-To-Read Pre-Level 1 Testa / Book Hardback
common.buy 17.63 € 34.48 лв
Practical Obstacles to the Avoidance of Double Taxation in Europe Florian Haase / Book Hardback
common.buy 305.00 € 596.52 лв
Logbooks Anne Farrow / Book Hardback
common.buy 27.05 € 52.90 лв
Acts for Everyone (Part 2) Tom Wright / Book Paperback
common.buy 13.70 € 26.80 лв
Multi-Agent System Engineering Magnus Boman / Book Paperback
common.buy 54.41 € 106.41 лв
Category Theory and Computer Science Peter Johnstone / Book Paperback
common.buy 54.41 € 106.41 лв
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress H. Begehr / Book Hardback
common.buy 604.05 € 1 181.42 лв
Modern Electroencephalographic Assessment Techniques Vangelis Sakkalis / Book Hardback
common.buy 106.33 € 207.97 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account