このページのリンク

ケイシキ シュホウ キョウカショ : ロンリガク オ モチイタ ソフト コウガク エノ スウガクテキ アプローチ
形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ / 赤間世紀著
(I/O books)

データ種別 図書
出版者 東京 : 工学社
出版年 2012.11
本文言語 日本語
大きさ 223p : 挿図 ; 21cm

所蔵情報を非表示

書庫4階 007.61:A313k
9784777517237 006446488

書誌詳細を非表示

別書名 異なりアクセスタイトル:形式手法 : 教科書 : 論理学を用いたソフト工学への数学的アプローチ
一般注記 参考文献: p217-219
著者標目 赤間, 世紀(1960-) <アカマ, セイキ>
件 名 BSH:ソフトウェア工学
分 類 NDC8:007.63
NDC9:007.63
NDC9:007.61
巻冊次 ISBN:9784777517237 ; PRICE:2500円+税 REFWLINK
ISBN 9784777517237
NCID BB10933063 WCLINK
目次/あらすじ

 類似資料