Thomas Kropf
Introduction to Formal Hardware Verification Thomas Kropf

Name: Introduction to Formal Hardware Verification
Price: 363 CNY
Availability: OutOfStock
Author: Thomas Kropf

价格

元 363

不含税

远程仓调货

预计送达时间年7月21日 - 年7月31日

顾客评价：

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

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

Trustpilot平台高分认证

添加至iMusic心愿单

Not rated yet

其他版本：

Paperback Book

Softcover Reprint of Hardcover 1st Ed. 1999 edition

(2010) 元 363

Introduction to Formal Hardware Verification

Thomas Kropf

Presenting an overview of techniques for hardware verification, this book covers various approaches, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking. It also introduces the use of higher-order logic theorem proving for verifying circuit correctness.

308 pages, 110 black & white illustrations, 32 black & white tables, biography

介质类型	图书 Hardcover Book (精装硬皮书)
已发行	1999年10月16日
ISBN13	9783540654452
出版商	Springer-Verlag Berlin and Heidelberg Gm
页数	308
商品尺寸	156 × 234 × 19 mm · 517 g
语言	德语