 
Program Construction: Calculating Implementations from Specifications
ISBN: 978-0-470-84882-1
Paperback
352 pages
May 2003, ©2003
US $79.95
 Add to Cart
This price is valid for United States. Change location to view local pricing and availability. This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 2-3 days delivery time. The book is not returnable.
Other Available Formats: E-Book
|
Contact a Wiley Sales Rep
|
Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham. He returned to the UK in 1999 after spending 13 years in the Netherlands, 9 of which as professor at Eindhoven University of Technology (the institution that pioneered the style of reasoning and construction of programs that forms the basis for this book).
Share This
