Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point
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 19 990 Ft
DPD courier 1 190 Ft
Post 1 795 Ft
Post 1 690 Ft
Post 1 690 Ft
GLS point 1 390 Ft
FoxPost 1 190 Ft
Packeta point 1 190 Ft
DPD point 990 Ft
GLS courier 1 790 Ft
Contact
How to shop
Help
Delivery
DPD courier 1 190 Ft
Post 1 795 Ft
Post 1 690 Ft
Post 1 690 Ft
GLS point 1 390 Ft
FoxPost 1 190 Ft
Packeta point 1 190 Ft
DPD point 990 Ft
GLS courier 1 790 Ft
Free delivery for purchases over 19 990 Ft
Shopping guide
We’re here for you!
+36 9 6998 040
My account
▸
Empty :-(
0
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point
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
?
292 b
292 b
42 711
Ft
In stock at our supplier
Shipping in 5-8 days
30-day return policy
Customers also purchased
/
Paperback
10 433
Ft
/
Paperback
5 588
Ft
/
Paperback
15 684
Ft
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
9 556
Ft
/
Paperback
2 926
Ft
/
Hardback
89 668
Ft
/
Hardback
32 398
Ft
/
Paperback
20 982
Ft
