検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.) T2 Lecture notes in computer science A1 International Joint Conference on Theory and Practice of Software Development A1 Gaudel, M.-C. (Marie-Claude) A1 Jouannaud, Jean-Pierre A1 Colloquium on Trees in Algebra and Programming A1 Colloquium on Formal Approaches of Software Engineering YR 1993 FD c1993 VO : gw VO : us SP xii, 761 p. K1 Computer software -- Development -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540566104 SN 0387566104 LA English (英語) CL LCC:QA76.76.D47 CL DC20:005.1 CL NDC8:007.63 NO Includes bibliographical references and index NO 書誌ID=1000471429; NCID=BA19829595; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000471429 OL 30