本文に飛ぶ

年 〜
年

検索結果 6 件

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

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
紙デジタル図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
国立国会図書館全国の図書館
  • 関連情報トップエスイー実践講座
  • 掲載誌トップエスイー実践講座

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

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
紙デジタル図書
大須賀昭彦 監修, 長谷川哲夫, 田原康之, 磯部祥尚 著近代科学社2012.9<M159-J1720>
国立国会図書館全国の図書館
  • 関連情報トップエスイー実践講座
  • 掲載誌トップエスイー実践講座

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

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
紙デジタル図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
国立国会図書館全国の図書館
  • 関連情報トップエスイー実践講座
  • 掲載誌トップエスイー実践講座

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

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
紙デジタル図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
国立国会図書館全国の図書館
  • 関連情報トップエスイー実践講座
  • 掲載誌トップエスイー実践講座

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

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)
紙デジタル図書
深澤良彰 監修, 鷲崎弘宜, 丸山勝久, 山本里枝子, 久保淳人 著近代科学社2007.12<M159-J56>
国立国会図書館全国の図書館
  • 関連情報トップエスイー実践講座
  • 掲載誌トップエスイー実践講座

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

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)
紙デジタル図書
中島震 監修, 来間啓伸 著近代科学社2007.12<M159-J54>
国立国会図書館全国の図書館
  • 関連情報トップエスイー実践講座
  • 掲載誌トップエスイー実践講座

検索結果は以上です。

RSS