Applied formal verification
by
Perry, Douglas L.
Title
:
Applied formal verification
Author
:
Perry, Douglas L.
ISBN
:
9780071588898
Publication Information
:
New York : McGraw Hill Professional, 2011.
Physical Description
:
1 electronic text (xiv, 237 p. : ill.) : PDF file.
Series
:
McGraw Hill ebook library. Engineering and computing. Electrical and electronic
Series Title
:
McGraw Hill ebook library. Engineering and computing. Electrical and electronic
Subject Term
:
Integrated circuits -- Verification.
Electronic circuits -- Testing.
Added Author
:
Foster, Harry, 1956-
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 293531-1001 | ONLINE | | Elektronik Kütüphane |