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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Language
English
English
Book
Paperback
Much current research in computer science is concerned with two questions: is a program correct? And...
Full description
Libristo code: 01385488
?
268 b
268 b
110.64
€
In stock at our supplier
Shipping in 5-8 days
30-day return policy
Customers also purchased
/
Paperback
27.07
€
/
Paperback
14.44
€
/
Paperback
41.12
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Refinement Calculus
Author
Ralph-Johan Back, Joakim von Wright
Language
English
English
Binding
Book - Paperback
Date of issue
2003
Number of pages
520
EAN
9780387984179
ISBN
0387984178
Libristo code
01385488
Publishers
Springer, Berlin
Weight
1070
Dimensions
156 x 234 x 27
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 addressYou might also be interested in
/
Paperback
25.05
€
/
Paperback
7.67
€
/
Hardback
253.03
€
/
Hardback
91.44
€
/
Paperback
59.21
€
