Verification of Data-Aware Processes Via Satisfiability Modulo Theories - Alessandro Gianola - 書籍 - Springer - 9783031427459 - 2023年10月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Verification of Data-Aware Processes Via Satisfiability Modulo Theories


商品が入荷したらメールで通知を受け取る
プロフィールはありますか? ログイン
Alessandro Gianola の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

メディア 書籍     Book
リリース済み 2023年10月30日
ISBN13 9783031427459
出版社 Springer
寸法 150 × 220 × 20 mm   ·   528 g
言語 ドイツ語  

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