1/3 時点_ポイント最大11倍

並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門/東野輝夫/磯部祥尚

販売価格
5,060
(税込)
送料無料
出荷目安:
1~3日で発送予定
たまるdポイント(通常) 46

+キャンペーンポイント(期間・用途限定) 最大10倍

※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。

表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍

  • 商品情報
  • レビュー
東野輝夫磯部祥尚
近代科学社
トップエスイー実践講座 6
ISBN:4764904357/9784764904354
発売日:2012年12月



【内容紹介】
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのCSPによるモデル化技術、モデル検証器FDRによる検証技術、JavaライブラリJCSPによる実装手法を詳細に解説。

※本データはこの商品が発売された時点の情報です。

並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門/東野輝夫/磯部祥尚のレビュー

投稿されたレビューは0件です。

この商品のカテゴリ

同カテゴリのおすすめ商品

別カテゴリのおすすめ商品

ふるさと納税百選のおすすめ返礼品