---

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.)
(Lecture notes in computer science ; 2297)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2002
形態	xiv, 385 p. : ill. ; 24 cm
別書名	表紙タイトル:Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 2000 : revised lectures
著者標目	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Backhouse, Roland C., 1948- Crole, Roy L Gibbons, Jeremy
分　類	NDC:549.92
書誌ID	LT00641168

 類似資料