NCID | BB08985290 |
タイトル | 形式手法入門 : ロジックによるソフトウェア設計 / 中島震著||ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ |
出版者 | 東京 : オーム社 , 2012.4 |
形態 | x, 216p : 挿図 ; 21cm |
別書名 | 形式手法入門 : ロジックによるソフトウェア設計
|
注記 | 参考文献: p[203]-210 索引: p[211]-216 |
分類 | NDC8:007.63 NDC9:007.63 NDC9:007.61 |
件名 | BSH:ソフトウェア工学
NDLSH:システム設計
|
著者情報 | 中島, 震(1955-) (ナカジマ, シン)
|
和洋区分 | 和 |
標題言語 | 日本語 |
本文言語 | 日本語 |
出版国 | 日本 |
ISBN | 9784274211881
|
番号 | OTHN : TRC:12021931 |