Algebraic and Coalgebraic Methods in the Mathematics of Program Construction electronic resource : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons

Författare
School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction University of Oxford) (2000
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat