Free delivery for orders over 69.99€

Check order status

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

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 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Refinement Calculus

Name: Refinement Calculus
Brand: Springer, Berlin
SKU: 01385488
Price: 116.32 EUR
Availability: InStock
Author: Ralph-Johan Back
ISBN: 9780387984179

A Systematic Introduction

Ralph-Johan Back

Joakim von Wright

Language

English

Book Paperback

Libristo code: 01385488

Publishers Springer, Berlin, November 2003

Much current research in computer science is concerned with two questions: is a program correct? And... Full description

Libristo code: 01385488

283 b

116.32 €

227.50 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Fallbeispiel einer an Bulimie leidenden Patientin. Verhaltensanalyse, Diagnose und Therapie Lea Freudenstein

Paperback

15.17 € 29.67 лв

Poema Del Cante Jondo/Romancero Gitano Federico García Lorca

Paperback

12.29 € 24.03 лв

Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri

Paperback

209.04 € 408.84 лв

Medievo constitucional:historia y mito político en los orígenes de la España con JOSE MANUEL NIETO SORIA

Paperback

28.39 € 55.53 лв

Fokus Mathematik - Gymnasium - Ausgabe N - 6. Schuljahr Norbert Esper

Sheet

17.58 € 34.39 лв

Sangit-Shri-Krishnayan, Volume 1 of Sangit-Shri-Krishna-Ramayan, Hindi-Sanskrit-English Ratnakar Narale

Paperback

42.01 € 82.16 лв

Pénz - A mágikus játék Deborah L. Price

Paperback

7.55 € 14.78 лв

Análisis de la dramaturgia puertorriqueña actual

Paperback

31.21 € 61.04 лв

Stromata Buch I-VI Ludwig Früchtel

Hardback

201.17 € 393.45 лв

Fafik znikł Sanne Haugaard

Adobe ePub DRM

1.38 € 2.71 лв

Bulharsko 1:800 000 neuvedený autor

Map

7.35 € 14.37 лв

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.