| 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 |