yr 〜
yr

Search results 7

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

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

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

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

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

プログラム仕様記述論 (IT text)
Paper図書
荒木啓二郎, 張漢明 共著オーム社2002.11<M159-H44>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00166447 00763417 00258438

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

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

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

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

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

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

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 (ID)00120668 00166447 00159021 00290012

Reached to the end of result.