形式手法入門 : ロジックによるソフトウェア設計
- フォーマット:
- 図書
- 責任表示:
- 中島震著
- 言語:
- 日本語
- 出版情報:
- 東京 : オーム社, 2012.4
- 形態:
- x, 216p : 挿図 ; 21cm
- 著者名:
- 中島, 震(1955-) <DA13681738>
- 書誌ID:
- BB08985290
- ISBN:
- 9784274211881 [4274211886]
類似資料:
オーム社 |
日刊工業新聞社 |
日経マグロウヒル社 |
共立出版 |
マイナビ出版 |
共立出版 |
共立出版 |
放送大学教育振興会 |
日本コンピュータ協会 | |
アジソン・ウェスレイ・パブリッシャーズ・ジャパン, 星雲社 (発売) |