漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
検索結果6件中 1～6件を表示
並行システムの検証と実装
作家： 本位田真一 / 東野輝夫 / 磯部祥尚
ジャンル： 小説・実用書
トップエスイー実践講座
UPPAALによる性能モデル検証
作家： 本位田真一 / 大須賀昭彦 / 長谷川哲夫 / 田原康之 / 磯部祥尚
VDM++による形式仕様記述
作家： 本位田真一 / 荒木啓二郎 / 石川冬樹
SPINによる設計モデル検証
作家： 本位田真一 / 萩谷昌己 / 吉岡信和 / 青木利晃 / 田原康之
ソフトウェアパターン
作家： 本位田真一 / 深澤良彰 / 鷲崎弘宜 / 丸山勝久 / 山本里枝子 / 久保淳人
Bメソッドによる形式仕様記述
作家： 本位田真一 / 中島震 / 来間啓伸
page top▲
