Applied formal verification / Douglas L. Perry, Harry D. Foster.
By: Perry, Douglas L
Contributor(s): Foster, Harry
Material type: TextSeries: Publisher: New York : McGraw-Hill, c2005Description: xiv, 237 p. : ill. ; 24 cmISBN: 007144372XSubject(s): Integrated circuits- Verification | Electronic circuits- TestingDDC classification: 621.3815 Online resources: DownloadItem type | Current location | Home library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books |
Southeast University Central Library
Library service hours:
|
Southeast University Central Library
Library service hours:
|
Non-fiction | 621.3815 P462a (Browse shelf) | 2005 | C- 1 | Available | 009958 |
Total holds: 0
Browsing Southeast University Central Library shelves, Shelving location: General Stacks, Collection: Non-fiction Close shelf browser
No cover image available | No cover image available | No cover image available | ||||||
621.3815 M922e Electronic devices and circuits : | 621.3815 N163i Instrumentation measurement and analysis / | 621.3815 N163i Instrumentation measurement and analysis / | 621.3815 P462a Applied formal verification / | 621.3815 S449m Microelectronic circuits / | 621.3815 S449m Microelectronic circuits / | 621.3815 S449m Microelectronic circuits / |
Includes bibliographical references (p. 227-229) and index.
EEE
There are no comments on this title.