Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - 書籍 - Princeton University Press - 9780691181301 - 2019年5月14日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Pierre-Loic Garoche
Formal Verification of Control System Software - Princeton Series in Applied Mathematics

価格
¥ 12.917
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible

224 pages, 79 b/w illus.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2019年5月14日
ISBN13 9780691181301
出版社 Princeton University Press
ページ数 232
寸法 243 × 163 × 15 mm   ·   536 g
言語 英語  

Pierre-Loic Garocheの他の作品を見る

すべて表示

Pierre-Loic Garocheのすべてを見る ( 例： Hardcover Book および Paperback Book )