search for books and compare prices
Roland C. Backhouse has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Paperback:
9780137291465 | Prentice Hall, June 1, 1986, cover price $39.93 | also contains The Inception of Yogacara-vijnanavada
Paperback:
9783540677277 | Springer-Verlag New York Inc, June 1, 2000, cover price $99.00 | About this edition: This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.
Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice of programming Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions Includes a wide range of entertaining and challenging examples and exercises
Paperback:
9780470848821 | John Wiley & Sons Inc, May 23, 2003, cover price $88.05 | About this edition: Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice of programming Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions Includes a wide range of entertaining and challenging examples and exercises
Miscellaneous:
9780470864548 | John Wiley & Sons Inc, December 2, 2003, cover price $50.00
Paperback:
9783540201946 | Springer-Verlag New York Inc, October 1, 2003, cover price $69.95
displaying 1 to 4 |
at end