e-Book
|
Formal verification : an essential toolkit for modern VLSI design
Copies
0 Total copies, 0 Copies are in,
0 Copies are out.
- Share It:
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)
