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