| Title | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures |
|---|---|
| Author | Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.) |
| Year | 2002 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Computer Science 2297 |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | Berlin; New York |
| Language | English |
Size: 2.94MB | Pages: 390 |
LLC: N/A | DDC:
Related Books
- No Related Books!