Algebra and coalgebra in computer science
: first international conference ; proceedings / CALCO 2005, Swansea, UK, September 3 - 6, 2005. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3629)
ISBN 978-3-540-31876-7
Lizenzpflichtig
Quelle: DNB
Fiadeiro, José Luiz: Categories for software engineering
/ José Luiz Fiadeiro. - Berlin : Springer, 2005. - XII, 250 S. : graph. Darst.; 24 cm
ISBN 978-3-540-20909-6 / 3-540-20909-3 Pp. : EUR 53.45
Literaturverz. S. 237 - 243
Quelle: DNB Verlagsmeldungen
Fundamental approaches to software engineering
: 11th international conference ; proceedings / FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4961)
ISBN 978-3-540-78743-3
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 13th international workshop ; selected papers / WADT '98, Lisbon, Portugal, April 1998. José Luiz Fiadeiro (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1589)
ISBN 978-3-540-48483-7
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 18th international workshop ; revised selected papers / WADT 2006, La Roche-en-Ardenne, Belgium, June 1 - 3, 2006. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4409)
ISBN 978-3-540-71998-4
Lizenzpflichtig
Quelle: DNB
