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
Includes bibliographical references (p. 227-229) and index.
EEE
There are no comments on this title.