チュウショウ ニヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
抽象によるソフトウェア設計 : Alloyではじめる形式手法 / Daniel Jackson著 ; 今井健男 [ほか] 共訳
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : オーム社 |
| 出版年 | 2011.7 |
| 本文言語 | 日本語 |
| 大きさ | xvi, 357p ; 21cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 請求メモ | 予約 | 緑丘アーカイブズ |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 開架閲覧室(3階) |
|
G 7.5||02685||321675 | 0003216756 |
|
9784274068584 | 2011 | 学生図書 |
|
書誌詳細を非表示
| 別書名 | 原タイトル:Software abstractions : logic, language, and analysis |
|---|---|
| 一般注記 | 監訳: 中島震 その他の共訳 : 酒井政裕, 遠藤侑介, 片岡欣夫 参考文献: p.339-346 |
| 著者標目 | Jackson, Daniel 今井, 健男 <イマイ, タケオ> 酒井, 政裕 <サカイ, マサヒロ> 遠藤, 侑介 <エンドウ, ユウスケ> 片岡, 欣夫 <カタオカ, ヨシオ> 中島, 震(1955-) <ナカジマ, シン> |
| 件 名 | BSH:ソフトウェア工学 |
| 分 類 | NDC8:007.63 NDC9:007.63 |
| 書誌ID | BB10257891 |
| ISBN | 9784274068584 |
| NCID | BB0639484X |