Filter By
Books (6)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Algorithmic Problem Solving by Roland C. Backhouse 9780470684535
RRP: £43.95Booksplease Price: £42.51An entertaining and captivating way to learn the fundamentals of using algorithms to solve problems The algorithmic approach to solving problems in computer technology is an essential tool. With this... -
Generic Programming: Advanced Lectures by Roland C. Backhouse 9783540201946
Booksplease Price: £41.36Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the... -
Program Construction: Calculating Implementations from Specifications by Roland C. Backhouse 9780470848821
RRP: £47.95Booksplease Price: £45.91Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing... -
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures by Roland C. Backhouse 9783540767855
Booksplease Price: £46.58This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated... -
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings by Roland C. Backhouse 9783540677277
Booksplease Price: £46.28This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical... -
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures by Roland C. Backhouse 9783540436133
Booksplease Price: £46.58Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract...