Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science Thomas Kropf

Name: Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science
Price: 379 CNY
Availability: OutOfStock
Author: Thomas Kropf

价格

元 379

不含税

远程仓调货

预计送达时间年6月22日 - 年7月2日

顾客评价：

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

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

Trustpilot平台高分认证

添加至iMusic心愿单

Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Thomas Kropf

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

介质类型	图书 Hardcover Book (精装硬皮书)
已发行	1997年8月27日
ISBN13	9783540634751
出版商	Springer-Verlag Berlin and Heidelberg Gm
页数	388
商品尺寸	155 × 233 × 22 mm · 494 g
语言	德语
编辑	Kropf, Thomas