ナカジマ, シン
中島, 震(1955-)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
場所 | 大阪府 |
一般注記 | SRC:オブジェクト指向最前線 / 青山幹雄, 深澤良彰編 (朝倉書店, 1996.7-) 2002の奥付頁による 法政大学経営学部教授(2002-2004) 国立情報学研究所教授(2004-) |
生没年等 | 1955 |
コード類 | 典拠ID=AU20030673 NCID=DA13681738 |
1 | 形式手法入門 : ロジックによるソフトウェア設計 / 中島震著 東京 : オーム社 , 2012.4 |
2 | 抽象によるソフトウェア設計 : Alloyではじめる形式手法 / Daniel Jackson著 ; 今井健男 [ほか] 共訳 東京 : オーム社 , 2011.7 |