この商品を友人に教える:
Verification and Control of Hybrid Systems: A Symbolic Approach Paulo Tabuada 2009 edition
価格
¥ 23.891
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月2日 - 2026年1月14日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
他の形態でも入手可能:
Verification and Control of Hybrid Systems: A Symbolic Approach
Paulo Tabuada
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.
202 pages, 1, black & white illustrations
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2009年6月15日 |
| ISBN13 | 9781441902238 |
| 出版社 | Springer-Verlag New York Inc. |
| ページ数 | 202 |
| 寸法 | 155 × 235 × 14 mm · 485 g |
| 言語 | 英語 |
Paulo Tabuadaのすべてを見る ( 例: Hardcover Book および Paperback Book )