Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - 書籍 - Springer-Verlag New York Inc. - 9781441954985 - 2010年11月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Verification and Control of Hybrid Systems: A Symbolic Approach Softcover reprint of hardcover 1st ed. 2009 edition

価格
¥ 21.679
税抜

遠隔倉庫からの取り寄せ

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

他の形態でも入手可能:

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, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年11月5日
ISBN13 9781441954985
出版社 Springer-Verlag New York Inc.
ページ数 202
寸法 155 × 235 × 11 mm   ·   312 g
言語 英語