検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.) T2 Lecture notes in computer science A1 WADT A1 Bert, Didier A1 Choppy, C. (Christine) A1 Mosses, Peter D YR 2000 FD c2000 SP x, 476 p. K1 Computer software -- Development -- Congresses K1 Computer science -- Mathematics -- Congresses K1 Abstract data types (Computer science) -- Congresses PB Springer PP Berlin SN 3540678980 LA English (英語) CL LCC:QA76.76.D47 NO Includes bibliographical references and index NO 書誌ID=1001195199; NCID=BA48322462; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001195199 OL 30