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.
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：http://dx.doi.org/10.1007/3-540-47797-7
• ISBN/ISSN/ISRC：9783540436133 (paper)
• 作者：Backhouse, Roland C.;Crole, Roy L.;Gibbons, Jeremy
• 索書號：005