Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642444746 - 2014年11月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

価格
₪ 349
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月25日 - 2026年1月8日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

他の形態でも入手可能:

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.


426 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年11月28日
ISBN13 9783642444746
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 426
寸法 155 × 235 × 24 mm   ·   635 g
言語 英語  

すべて表示

Andre Platzerの他の作品を見る