yr 〜
yr

Search results 7

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
PaperDigital図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
National Diet LibraryOther Libraries in Japan
  • Author Heading石川, 冬樹 荒木, 啓二郎, 1954- 本位田, 真一, 1953-

ソフトウェア開発のモデル化技法

ソフトウェア開発のモデル化技法
PaperMicroform図書
J.フィッツジェラルド, P.G.ラーセン 著, 荒木啓二郎 [ほか]訳岩波書店2003.2<YU7-H366>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFitzgerald, John, 1965- Larsen, Peter Gorm, 1964- 荒木, 啓二郎, 1954-

プログラム仕様記述論 (IT text)

プログラム仕様記述論 (IT text)
Paper図書
荒木啓二郎, 張漢明 共著オーム社2002.11<M159-H44>
National Diet LibraryOther Libraries in Japan
  • Author Heading荒木, 啓二郎, 1954- 張, 漢明, 1963- 情報処理学会

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
Paper図書
荒木啓二郎, 張漢明 編近代科学社1999.12<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Author Heading荒木, 啓二郎, 1954- 張, 漢明, 1963- 武市, 正人, 1948- 米沢...

プログラミング言語の意味論入門 (Information & computing ; 76)

プログラミング言語の意味論入門 (Information & computing ; 76)
PaperDigital図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳サイエンス社1993.12<M159-E2969>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHennessy, Matthew 荒木, 啓二郎, 1954- 程, 京徳

プログラミング言語Ada (Information & computing ; 11)

プログラミング言語Ada (Information & computing ; 11)
PaperDigital図書
J.G.P.バーンズ 著, 牛島和夫, 荒木啓二郎 共訳サイエンス社1987.6<M159-1964>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingBarnes, John Gilbert Presslie 牛島, 和夫, 1937- 荒木, 啓二郎, 1954-

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa. (Lecture notes in computer science)

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A3425>
National Diet Library
  • Author Heading後藤, 英一, 1931-2005 荒木, 啓二郎, 1954- 湯浅, 太一, 1952- 京都大学数理解析研究所

Reached to the end of result.