Jump to main content

yr 〜
yr

Search results 9

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

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

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)
Paper図書
New Yorkc2008.<M17-09-1169>
National Diet Library
  • Author Heading...s S. E., 1947- Araki, Keijirō, 1954- 九州大学 Hosei University. Intern...

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
Paper図書
Springer-Verlagc2003.<M17-04-1289>
National Diet Library
  • Author HeadingFormal Methods Europe. Araki, Keijirō, 1954- Gnesi, Stefania, 1954- Mandri...

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

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

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

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

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

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

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

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

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

プログラミング言語Ada (Information & computing ; 11)
PaperDigital図書障害者向け資料あり
J.G.P.バーンズ 著, 牛島和夫, 荒木啓二郎 共訳サイエンス社1987.6<M159-1964>
Available onlineNational Diet LibraryOther Libraries in Japan

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

Reached to the end of result.

RSS