検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat (eds.) T2 Lecture notes in computer science A1 International Conference on Algebraic Methodology and Software Technology A1 Wirsing, M. (Martin) A1 Nivat, Maurice YR 1996 FD c1996 SP xii, 640 p. K1 Software engineering -- Congresses K1 Abstract data types (Computer science) -- Congresses PB Springer PP Berlin SN 354061463X LA English (英語) CL LCC:QA76.758 CL DC20:005.1/2/015113 CL NDC7:549.9 NO Includes bibliographical references and index NO 書誌ID=1000540597; NCID=BA27873220; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000540597 OL 30