R.B. · Roland B. · Roland C. Backhouse
John Wiley & Sons · Springer, Berlin
| 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, ... Lectures | 978-3-540-43613-3 | 2002 | Jeremy Gibbons · Roy Crole | |
| Generic Programming: Advanced Lectures | 978-3-540-20194-6 | 2003 | 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 | Jose Nuno Oliveira | |
| Program Construction: Calculating Implementations from Specifications | 978-0-470-84882-1 | 2003 | ||