検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings / Teodor Rus (ed.) T2 Lecture notes in computer science A1 International Conference on Algebraic Methodology and Software Technology A1 Rus, Teodor YR 2000 FD c2000 SP xi, 544 p. K1 Software engineering -- Congresses K1 Abstract data types (Computer science) -- Congresses PB Springer PP Berlin SN 3540675302 LA English (英語) CL LCC:QA76.758 NO Includes bibliographical references and index NO 書誌ID=1001148280; NCID=BA46589778; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001148280 OL 30