| Type |  Book |
| ชื่อเรื่อง | 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 |
| ผู้แต่ง | School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) |
| ISBN | 3540436138 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | xiv, 385 : ill. ; 24 cm |
| หัวเรื่อง | Algebra --Congresses [] |
| | Computer programming --Congresses [] |
| | Computer science --Mathematics --Congresses [] |