この商品の詳細
- 出版社
- 近代科学社
- 出版社シリーズ
- トップエスイー実践講座
- ISBN
- 4764904354
- サイズ
- 単行本
- 発売年月日
- 2012年12月01日
この商品の紹介
信頼性の高い並行システムを開発するための方法として、並行システムのCSPによるモデル化技術、モデル検査器FDRによる検証技術、JCSPによる実装手法について、特にそれらのつながりを重視して解説。
並行システムの検証と実装/単行本
1,370
円(税込)