Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda - 書籍 - Springer Verlag, Singapore - 9789811041204 - 2017年11月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Nanda
Formal Methods for Safety and Security: Case Studies for Aerospace Applications 1st ed. 2018 edition

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
Nanda の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering.

112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2017年11月22日
ISBN13 9789811041204
出版社 Springer Verlag, Singapore
ページ数 132
寸法 162 × 244 × 13 mm   ·   374 g
編集者 Jeppu, Yogananda
編集者 Nanda, Manju

Nandaの他の作品を見る

すべて表示

同じ出版社からのその他の記事

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