R. B · Roland B. · Roland C. Backhouse
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Notes in Computer Science , Band 2297) | 978-3-540-43613-3 | 2008 | Jeremy Gibbons · Roy Crole | |
| Algorithmic Problem Solving | 978-0-470-68453-5 | 2011 | ||
| Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures | 978-3-540-76785-5 | 2008 | ||
| Generic Programming: Advanced Lectures | 978-3-540-20194-6 | 2008 | Jeremy Gibbons | |
| Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings | 978-3-540-67727-7 | 2000 | ||
| Program Construction: Calculating Implementations from Specifications | 978-0-470-84882-1 | 2003 | ||