インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
価格： ￥10,230
カテゴリ：
ハードカバー
ブランド：
Springer-Verlag New York Inc (C)
Amazon.co.jpで確認
関連商品
Reasoning about Uncertainty
Handbook of Hybrid Systems Control: Theory, Tools, Applications
Modeling in Event-B: System and Software Engineering
Introduction to Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
