検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ / 赤間世紀著 T2 I/O books A1 赤間, 世紀(1960-) YR 2012 FD 2012.11 SP 223p K1 ソフトウェア工学 PB 工学社 PP 東京 SN 9784777517237 LA Japanese (日本語) CL NDC8:007.63 CL NDC9:007.63 CL NDC9:007.61 NO 参考文献: p217-219 NO 書誌ID=1002581528; NCID=BB10933063; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1002581528 OL 58