Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : international summer school and workshop, Oxford, UK, April 2000 10-14, revised lectures /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
[Place of publication not identified] :
Springer Berlin / Heidelberg,
2002.
|
| Series: | Lecture notes in computer science ;
2297. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Item Description: | Electronic resource. |
|---|---|
| Physical Description: | 1 online resource (xiv, 385 pages) |
| ISBN: | 9783540436133 3540436138 |