Jump to main content

yr 〜
yr

Search results 6

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

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

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
PaperDigital図書
大須賀昭彦 監修, 長谷川哲夫, 田原康之, 磯部祥尚 著近代科学社2012.9<M159-J1720>
National Diet LibraryOther Libraries in Japan
  • Related Materialトップエスイー実践講座
  • Periodical Titleトップエスイー実践講座

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
PaperDigital図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
National Diet LibraryOther Libraries in Japan
  • Related Materialトップエスイー実践講座
  • Periodical Titleトップエスイー実践講座

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
PaperDigital図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
National Diet LibraryOther Libraries in Japan
  • Related Materialトップエスイー実践講座
  • Periodical Titleトップエスイー実践講座

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)
PaperDigital図書
深澤良彰 監修, 鷲崎弘宜, 丸山勝久, 山本里枝子, 久保淳人 著近代科学社2007.12<M159-J56>
National Diet LibraryOther Libraries in Japan
  • Related Materialトップエスイー実践講座
  • Periodical Titleトップエスイー実践講座

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)
PaperDigital図書
中島震 監修, 来間啓伸 著近代科学社2007.12<M159-J54>
National Diet LibraryOther Libraries in Japan
  • Related Materialトップエスイー実践講座
  • Periodical Titleトップエスイー実践講座

Reached to the end of result.

RSS