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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 125 b
51.53 €
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 21.78 €
Abissinia Giornale di un viaggio Giuseppe Vigoni / Book Paperback
common.buy 16.13 €
Petit ours brun fête son anniversaire Marie Aubinais / Book Book
common.buy 5.74 €
Cvičebnice Matematika Scio - Národní srovnávací zkoušky / Book Paperback
common.buy 20.47 €
Zarządzanie w kryzysie. Aspekty organizacyjne i psychologiczne (wyd. III) Sylwia Wojciechowska-Filipek / Book Paperback
common.buy 22.38 €
Dictionnaire alimentaire de la perte de poids Cédric Menard / Book Paperback
common.buy 20.16 €
Agamemnon Humboldt / Book Paperback
common.buy 18.35 €
Die Abendburg: Chronika eines Goldsuchers in zwölf Abenteuern Bruno Wille / Book Paperback
common.buy 26.32 €
Vive le Pericarde Libre ! Montserrat Gascon Segundo / Book Paperback
common.buy 20.67 €
Traditionelle Chinesische Medizin Paul U. Unschuld / Book Paperback
common.buy 9.87 €
Die «Vision des Tnugdalus» Albers von Windberg Brigitte Pfeil / Book Paperback
common.buy 117.30 €
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Book Paperback
common.buy 16.13 €
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Book Paperback
common.buy 17.04 €
Affordable
Günter Grass 'Die Blechtrommel' Günter Grass / Book Paperback
common.buy 7.66 €
Scorsese: Meine italienische Reise, DVD Martin Scorsese / Video DVD
common.buy 15.52 €
Das Liederbuch 2004-2010 Silbermond / Book Paperback
common.buy 39.93 €

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 60.41 €
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Book Hardback
common.buy 102.67 €
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Book Paperback
common.buy 102.67 €
Making Sense of the Bible Adam Hamilton / Book Paperback
common.buy 15.73 €
Hindi Structures Intermediate Level, with Drills, Exercises, and Key Peter Edwin Hook / Book Paperback
common.buy 29.75 €
Stephen Burrows Daniela Morera / Book Hardback
common.buy 33.98 €
Hewing Contemporary Bowls Tammi Mann / Book Paperback
common.buy 11.09 €
Banking Bucks by Busting Bureaucratic Barriers: Technical Services Proposal Development Tom Alman / Book Paperback
common.buy 13.81 €
Rushing with the Wind Allene Morrow Sonntag / Book Paperback
common.buy 21.17 €
William Shakespeare - Subject of the Crown? Manuela Sonntag / Book Paperback
common.buy 7.35 €
All the Castles Burned Michael Nye / Book Paperback
common.buy 14.21 €
EAT HAPPY Anna Vocino / Book Hardback
common.buy 26.72 €
The Dragon Dimension - 2nd Edition - Rated PG-16: Caught in the Dragon Cove Ressa Empbra / Book Paperback
common.buy 16.63 €
Kuma Kuma Kuma Bear (Light Novel) Vol. 9 V09 / Book Paperback
common.buy 11.49 €
Daniel Goes on an Egg Hunt: Ready-To-Read Pre-Level 1 Testa / Book Hardback
common.buy 16.63 €
Practical Obstacles to the Avoidance of Double Taxation in Europe Florian Haase / Book Hardback
common.buy 290.48 €
Inglourious Basterds / Video Blu-ray
common.buy 20.26 €
Logbooks Anne Farrow / Book Hardback
common.buy 25.11 €
Acts for Everyone (Part 2) Tom Wright / Book Paperback
common.buy 15.73 €
Multi-Agent System Engineering Magnus Boman / Book Paperback
common.buy 51.53 €
Category Theory and Computer Science Peter Johnstone / Book Paperback
common.buy 51.53 €
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress H. Begehr / Book Hardback
common.buy 572.80 €
Modern Electroencephalographic Assessment Techniques Vangelis Sakkalis / Book Hardback
common.buy 100.45 €
Origin and the Overcoming of Evil and Suffering in the World Religions P. Koslowski / Book Hardback
common.buy 102.67 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?