検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, (eds.) T2 Lecture notes in computer science A1 International Conference on Algebraic Methodology and Software Technology A1 Alagar, Vangalur S., 1940- A1 Nivat, Maurice YR 1995 FD c1995 VO : gw SP xiv, 591 p. K1 Software engineering -- Congresses K1 Abstract data types (Computer science) -- Congresses PB Springer-Verlag PP Berlin ; New York ; Tokyo SN 3540600434 LA English (英語) CL LCC:QA76.758 CL DC20:005.1/01/512 NO Includes bibliographical references NO 書誌ID=1000522653; NCID=BA25324050; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000522653 OL 30