チュウショウ ニヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
Daniel Jackson著 ; 今井健男 [ほか] 共訳
東京 : オーム社, 2011.7
図書等2011
xvi, 357p ; 21cm
Software abstractions : logic, language, and analysis
監訳: 中島震
その他の共訳 : 酒井政裕, 遠藤侑介, 片岡欣夫
参考文献: p.339-346
日本
日本語 (jpn)
日本語 (jpn)
英語 (eng)
今井, 健男 (イマイ, タケオ)
酒井, 政裕 (サカイ, マサヒロ)
遠藤, 侑介 (エンドウ, ユウスケ)
片岡, 欣夫 (カタオカ, ヨシオ)
中島, 震(1955-) (ナカジマ, シン)
NDC8:007.63
NDC9:007.63
9784274068584
BB0639484X
