Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - 書籍 - Springer International Publishing AG - 9783031008832 - 2015年9月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Roderick Bloem
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

価格
¥ 7.913
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月22日 - 年7月2日

お客様の声：

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

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ????(n) parameterized by n ? N, whether, for all n ? N, the system ????(n) satisfies a specification.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2015年9月29日
ISBN13 9783031008832
出版社 Springer International Publishing AG
ページ数 158
寸法 150 × 220 × 10 mm   ·   334 g
言語 英語  

Roderick Bloemの他の作品を見る

すべて表示

Mere med samme udgiver

Roderick Bloemのすべてを見る ( 例： Paperback Book )