Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems Chao Wang 2006 edition

Name: Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems
Price: 783 CNY
Availability: OutOfStock
Author: Chao Wang

价格

元 783

不含税

远程仓调货

预计送达时间年6月30日 - 年7月10日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

其他版本：

Hardcover Book

2006 edition

(2006) 元 829

Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems

Chao Wang

2006 edition

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2014年12月6日
ISBN13	9781489993953
出版商	Springer-Verlag New York Inc.
页数	179
商品尺寸	155 × 235 × 11 mm · 281 g
语言	英语