このページのリンク

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

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

所蔵情報を非表示


GF:BOOK.SHELF 007.63/A31k 07652676
9784777517237

書誌詳細を非表示

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

 類似資料