検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke T2 Lecture notes in computer science. A1 Bibel, W., 1938- A1 Jantke, K. P. (Klaus P.) YR 1986 FD c1986 SP 245 p. K1 Computer software -- Development Congresses PB Springer PP Berlin ; New York SN 0387164448 CL LCC:QA76.76.D47 CL DC19:005.1 NO Includes bibliographies NO 書誌ID=1000587397; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000587397