---

Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)
(Lecture notes in computer science ; 2755)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	viii, 456 p. : ill. ; 24 cm
別書名	背表紙タイトル:Recent trends in algebraic development techniques : WADT 2002 表紙タイトル:Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 2002 : revised selected papers
著者標目	*International Workshop on Algebraic Development Techniques (WADT) (16th : 2002 : Frauenchiemsee, Germany) Wirsing, Martin Pattinson, Dirk Hennicker, Rolf
件　名	LCSH:Computer software -- Development -- Congresses  全ての件名で検索 LCSH:Computer science -- Mathematics -- Congresses  全ての件名で検索 LCSH:Abstract data types (Computer science)
分　類	NDC:549.92 LCC:QA76.76.D47
書誌ID	LT00680072

 類似資料