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
| 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
|
| Emner | |
| ISBN | 3540436138
|
