カバー画像とタイトルが一致しない場合、正しいのはタイトルです

この商品を友人に教える:

Roderick Bloem
Decidability of Parameterized Verification Roderick Bloem

プロフィールはありますか？ログイン

お客様の声：

iMusicのウィッシュリストに追加

Decidability of Parameterized Verification

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2015年9月30日
ISBN13	9781627057431
出版社	Morgan & Claypool
ページ数	172
寸法	191 × 235 × 9 mm · 303 g
言語	英語

すべて表示