<図書>

ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ

形式手法入門 : ロジックによるソフトウェア設計 / 中島震著

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工6・数理情
84:N:12 2310178435


書誌詳細を非表示

出版者 東京 : オーム社
出版年 2012.4
大きさ x, 216p : 挿図 ; 21cm
別書名 異なりアクセスタイトル:形式手法入門 : ロジックによるソフトウェア設計
一般注記 参考文献: p[203]-210
索引: p[211]-216
著者標目 中島, 震(1955-) <ナカジマ, シン>
件 名 BSH:ソフトウェア工学
NDLSH:システム設計
分 類 NDC8:007.63
NDC9:007.63
NDC9:007.61
本文言語 日本語
書誌ID 2003293796
ISBN 9784274211881
NCID BB08985290 WCLINK

ページトップ