チュウショウ ニヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
抽象によるソフトウェア設計 : Alloyではじめる形式手法 / Daniel Jackson著 ; 今井健男 [ほか] 共訳
データ種別 | 図書 |
---|---|
著者標目 | Jackson, Daniel 今井, 健男 <イマイ, タケオ> 酒井, 政裕 <サカイ, マサヒロ> 遠藤, 侑介 <エンドウ, ユウスケ> 片岡, 欣夫 <カタオカ, ヨシオ> 中島, 震(1955-) <ナカジマ, シン> |
出版者 | 東京 : オーム社 |
出版年 | 2011.7 |