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による実装手法を詳細に解説。
近代科学社
トップエスイー実践講座 6
ISBN:4764904357/9784764904354
発売日:2012年12月
【内容紹介】
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのCSPによるモデル化技術、モデル検証器FDRによる検証技術、JavaライブラリJCSPによる実装手法を詳細に解説。
※本データはこの商品が発売された時点の情報です。


