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

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

価格
NOK 1.089
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
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.

424 pages, 137 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2010年9月5日
ISBN13 9783642145087
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 426
寸法 164 × 246 × 23 mm   ·   780 g
言語 フランス語  
すべて表示

Andre Platzerの他の作品を見る

Andre Platzerのすべてを見る ( 例： Paperback Book および Hardcover Book )