Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Backhouse, Roland C
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures - New York: Springer, 2002 - xiv, 385 p. : ill. ; 24 cm
9783540436133
Computer science
005 BAC
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures - New York: Springer, 2002 - xiv, 385 p. : ill. ; 24 cm
9783540436133
Computer science
005 BAC