Backhouse, Roland C., 1948- Crole, Roy L. Gibbons, Jeremy,, 1966-
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures - Berlin, New York : Springer c2002. - xiv, 385 p. - Lecture notes in computer science ; 02297 .
3540436138 (softcover : acid-free paper)
Computer programming
Congresses.
Computer science
Mathematics
Congresses.
Algebra
Congresses.
681 LNCS
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures - Berlin, New York : Springer c2002. - xiv, 385 p. - Lecture notes in computer science ; 02297 .
3540436138 (softcover : acid-free paper)
Computer programming
Congresses.
Computer science
Mathematics
Congresses.
Algebra
Congresses.
681 LNCS