本サイトはJavaScriptを有効にしてご覧ください。
ゲスト 様
様
プラチナ会員
ゴールド会員
ブロンズ会員
レギュラー会員
本・CD・DVD・ブルーレイ・グッズの通販はHMV&BOOKS online
詳細検索はこちら
お気に入り登録して最新情報を手に入れよう!
東野輝夫 | 【HMV&BOOKS online】は、本・雑誌・コミックなどを取り扱う国内最大級のECサイトです!東野輝夫に関する最新情報・アイテムが満載。CD、DVD、ブルーレイ(BD)、ゲーム、グッズは、コンビニ受け取り送料無料!いずれも、Pontaポイント利用可能!お得なキャンペーンや限定特典アイテムも多数!支払い方法、配送方法もいろいろ選べ、非常に便利です!東野輝夫ならHMV&BOOKS online!!
1984年大阪大学大学院基礎工学研究科博士後期課程修了、工学博士。大阪大学助手。現在、大阪大学大学院情報科学研究科教授。並行分散システム、モバイル・コンピューティングなどに関する研究に従事 『並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座』より
プロフィール詳細を見る
本
並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座
磯部祥尚
¥5,060
%%message%%