Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - 書籍 - Springer International Publishing AG - 9783319728131 - 2018年1月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Nils Przigoda
Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers 1st ed. 2018 edition

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

お客様の声：

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

まだ評価がありません

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.

255 pages, 40 Tables, color; 5 Illustrations, color; 11 Illustrations, black and white; XII, 255 p.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2018年1月31日
ISBN13 9783319728131
出版社 Springer International Publishing AG
ページ数 255
寸法 246 × 163 × 20 mm   ·   528 g
言語 ドイツ語  

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

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