Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - 書籍 - now publishers Inc - 9781601988560 - 2015年12月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This book presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification.

140 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2015年12月15日
ISBN13 9781601988560
出版社 now publishers Inc
ページ数 140
寸法 156 × 234 × 8 mm   ·   204 g
言語 英語  

Julien Bertraneのすべてを見る ( 例： Paperback Book )