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: 834 CNY
Availability: OutOfStock
Author: Chao Wang

价格

元 834

不含税

远程仓调货

预计送达时间年7月17日 - 年8月4日

顾客评价：

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

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

Trustpilot平台高分认证

添加至iMusic心愿单

Not rated yet

其他版本：

Paperback Book

2006 edition

(2014) 元 780

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

介质类型	图书 Hardcover Book (精装硬皮书)
已发行	2006年7月20日
ISBN13	9780387341552
出版商	Springer-Verlag New York Inc.
页数	179
商品尺寸	155 × 235 × 12 mm · 467 g
语言	英语