抽象によるソフトウェア設計 : Alloyではじめる形式手法

資料種別:
図書
責任表示:
Daniel Jackson著 ; 今井健男 [ほか] 共訳
言語:
日本語
出版情報:
東京 : オーム社, 2011.7
形態:
xvi, 357p ; 21cm
著者名:
Jackson, Daniel
今井, 健男
酒井, 政裕
遠藤, 侑介
片岡, 欣夫
中島, 震(1955-) <DA13681738>
続きを見る
書誌ID:
BB0639484X
ISBN:
9784274068584 [4274068587]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

石川 冬樹, 荒木 啓二郎

近代科学社

Pierce, Benjamin C., 住井, 英二郎, 遠藤, 侑介, 酒井, 政裕, 今井, 敬吾, 黒木, 裕介, 今井, 宜洋, 才川, 隆文, 今井, 健男

オーム社

Pierce, Benjamin C., 遠藤, 侑介, 住井, 英二郎, 酒井, 政裕, 今井, 敬吾, 黒木, 裕介, 今井, 宜洋, 才川, 隆文, 今井, 健男

オーム社

中島, 震(1955-), みわ, よしこ(1963-), 国立情報学研究所

丸善出版

中島, 震(1955-), 來間, 啓伸

近代科学社

Davis, Alan M. (Alan Mark), 富野, 壽, 荒木, 貞雄(1942-)

構造計画研究所, 共立出版 (発売)

中島, 震(1955-)

オーム社

片岡, 雅憲, 小原, 由紀夫, 光藤, 昭男, 日本プロジェクトマネジメント協会

近代科学社

藤井, 智弘

インプレス