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
Subscription required


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book293531-1001ONLINEElektronik Kütüphane