Decidability of Parameterized Verification - Roderick Bloem - 图书 - Morgan & Claypool - 9781627057431 - 2015年9月30日
如封面与标题不符，以标题为准

Roderick Bloem
Decidability of Parameterized Verification

商品到货时接收邮件提醒
Do you have a profile? 登录

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单
介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2015年9月30日
ISBN13 9781627057431
出版商 Morgan & Claypool
页数 172
商品尺寸 191 × 235 × 9 mm   ·   303 g
语言 英语  

Roderick Bloem的更多作品

显示全部

Mere med samme udgiver

同系列推荐

查看Roderick Bloem的全部作品 ( 例如 Paperback Book )