Algebraic and coalgebraic methods in the mathematics of program construction
: international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures / R. Backhouse ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2297)
ISBN 978-3-540-47797-6
Lizenzpflichtig
Quelle: DNB
Generic programming
: advanced lectures / Roland Backhouse ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2793)
ISBN 978-3-540-45191-4
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 5th international conference ; proceedings / MPC 2000, Ponte de Lima, Portugal, July 3 - 5, 2000. Roland Backhouse ; José Nuno Oliveira (ed.). - Berlin : Springer, 2000. - VII, 255 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1837)
ISBN 978-3-540-67727-7 / 3-540-67727-5 kart. : DM 74.00
Literaturangaben
Quelle: DNB
