e-Book
|
Title
Formal verification : an essential toolkit for modern VLSI design
Call No
621.381548
Digital Link
Subjects
Language
English
Published
Amsterdam, [Netherlands] : Morgan Kaufmann, 2015.
Publication Desc
1 online resource (372 pages) : color illustrations.
ISBN
9780128008157 (e-book)