このページのリンク

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

出版者 東京 : 工学社
出版年 2012.11
コード類 書誌ID=2001629718 NCID=BB10933063

書誌詳細を表示

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

所蔵情報を非表示

工・中央図書室・開架
005.1/AKA 3580234440
9784777517237 2012

 類似資料