Roland Backhouse – författare
Visar alla böcker från författaren Roland Backhouse.
6 produkter
Program Construction
Calculating Implementations from Specifications
Häftad, 2003
959 kr
Lägg i varukorg
Generic Programming
Advanced Lectures
Av Roland Backhouse, Jeremy Gibbons
Häftad, 2003
659 kr
Lägg i varukorg
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Av Roland Backhouse, Roy Crole m. fl.
Häftad, 2002
729 kr
Lägg i varukorg
Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Av Roland Backhouse, Jose Nuno Oliveira
Häftad, 2000
729 kr
Lägg i varukorg
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Roland Backhouse, Jeremy Gibbons m. fl.
Häftad, 2007
729 kr
Lägg i varukorg