Applied formal verification / Douglas L. Perry, Harry D. Foster.
By: Perry, Douglas L.
Contributor(s): Foster, Harry.
Material type: BookSeries: McGraw-Hill electronic engineering series: Publisher: New York : McGraw-Hill, c2005Description: xiv, 237 p. : ill. ; 24 cm.ISBN: 007144372X.Subject(s): Integrated circuits -- Verification | Electronic circuits -- TestingDDC classification: 621.3815 Online resources: Contributor biographical information | Publisher description | Table of contents onlyItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Eastern University Library General Stacks | 621.3815 PEA 2005 (Browse shelf) | Not For Loan | 07976 | |
Books | Eastern University Library General Stacks | 621.3815 PEA 2005 (Browse shelf) | Available | 07977 |
Includes bibliographical references (p. 227-229) and index.
There are no comments for this item.