Formal verification : an essential toolkit for modern VLSI design /
Saved in:
Main Authors: | |
---|---|
Group Author: | ; |
Published: |
Elsevier,
|
Publisher Address: | Amsterdam : |
Publication Dates: | [2015] |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xvii, 353 pages : illustrations ; 24 cm |
Bibliography: | Includes bibliographical references and index. |
ISBN: | 9780128007273 (paperback) : |
Index Number: | TK7867 |
CLC: | TN47 |
Call Number: | TN47/S465 |