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, Roy Crole, Jeremy Gibbons (eds.)
Bok
·
Engelsk
·2002
Detaljer
Utgitt
Berlin : Springer , c2002
Omfang
XIV, 385 s. : fig.
Opplysninger
"... based on the School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction ..." - Forordet
