1.
Program Construction Calculating Implementations from Specifications
by Backhouse, Roland
ISBN: 9780470848821
List Price: $79.95
2.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International S...
by Backhouse, Roland C., Crole...
ISBN: 9783540436133
List Price: $89.95
3.
Datatype-Generic Programming
by Backhouse, Roland, Gibbons,...
ISBN: 9783540767855
List Price: $69.95
4.
Syntax of Programming Languages; Theory and Practice - Roland C. Backhouse - Hardcover
by Backhouse, Roland C.
ISBN: 9780138799991
5.
Mathematics of Program Construction 5th International Conference, Mpc 200, Ponte De Lima, Po...
by Backhouse, Roland C., Olive...
ISBN: 9783540677277
List Price: $69.95
6.
Generic Programming Advanced Lectures
by Backhouse, Roland C., Gibbo...
ISBN: 9783540201946
List Price: $69.95
8.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
by Backhouse, Roland, Crole, R...
ISBN: 9783662195628
List Price: $24.99
OUT OF STOCK
See Availability on Amazon10.
Mathematics of Program Construction
by Backhouse, Roland, Nuno Oli...
ISBN: 9783662204900
List Price: $24.99
OUT OF STOCK
See Availability on Amazon13.
Program Construction and Verification - Roland C. Backhouse - Hardcover
by Backhouse, Roland C.
ISBN: 9780137291533