インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
価格: ¥4,830
カテゴリ:
単行本
ブランド:
近代科学社
Amazon.co.jpで確認
関連商品
高速文字列解析の世界――データ圧縮・全文検索・テキストマイニング (確率と情報の科学)
型システム入門 −プログラミング言語と型の理論−
形式手法入門―ロジックによるソフトウェア設計―
UPPAALによる性能モデル検証 (トップエスイー実践講座)
組込みエンジニアのための状態遷移設計手法―現場で使える状態遷移図・状態遷移表の記述テクニック― (MBD Lab Series)