このページのリンク

ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ
形式手法入門 : ロジックによるソフトウェア設計 / 中島震著

データ種別 図書
出版者 東京 : オーム社
出版年 2012.4
本文言語 日本語
大きさ x, 216p : 挿図 ; 21cm
著者標目 中島, 震(1955-) <ナカジマ, シン>

所蔵情報を非表示


射水-2階-和書 007.63||N34 101780625
2012

書誌詳細を非表示

別書名 異なりアクセスタイトル:形式手法入門 : ロジックによるソフトウェア設計
一般注記 参考文献: p[203]-210
索引: p[211]-216
件 名 BSH:ソフトウェア工学
NDLSH:システム設計
分 類 NDC8:007.63
NDC9:007.63
NDC9:007.61
書誌ID B000112493
ISBN 9784274211881
NCID BB08985290

 類似資料