About this item
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.
This book provides new insight into the methods of program derivations and a new understanding of program semantics and the logic for reasoning about programs.
- Author(s):
- Back, Ralph-Johan
- Condition:
- Good +
- Format:
- Hardback
- ISBN-10:
- 0387984178
- Publisher:
- Springer
Delivery & returns
This item will be despatched to UK addresses via second class post within 3 working days of receipt of your order. Standard UK delivery is £3.95 per order, so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.
You can find out more about delivery and returns in our help section.
We offer a no quibble returns policy as follows:
Overseas returns: 31 days
Read full returns policy
This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:
Europe: £5.29
Outside Europe: £9.73
Volunteer listed
Wonder how this unique item ended up online?
Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.
After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.
All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!
To find out more about volunteering with Oxfam, please visit our how to volunteer page.