Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Roland C. Backhouse

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures

Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002

Title

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures / Roland Backhouse ... (ed.)

Involved 

Roland C. Backhouse (Herausgeber)

Published

Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer
2002

Extent

XIV, 385 S. : graph. Darst.

ISBN

978-3-540-43613-3

Language

Englisch

Topic

Informatik

Subject

Softwareentwicklung, Algebraische Methode, Kongress, Oxford <2002>
Softwareentwicklung, Formale Methode, Kongress, Oxford <2002>
Softwareentwicklung, Kategorientheorie, Kongress, Oxford <2002>
Softwareentwicklung, Koalgebra, Kongress, Oxford <2002>
Softwareentwicklung, Verbandstheorie, Kongress, Oxford <2002>

Series

Lecture notes in computer science ; Vol. 2297

Other editions

Erscheint auch als Online-Ausgabe: Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures

Further information

Literaturangaben

Record ID

964088533
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal