Applied formal verification / Douglas L. Perry, Harry D. Foster.
Material type: TextLanguage: English Series: McGraw-Hill electronic engineering seriesPublication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN:- 007144372X
- 621.3815 22 PEA 2005
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Eastern University Library General Stacks | 621.3815 PEA 2005 (Browse shelf(Opens below)) | Not For Loan | 07976 | ||
Books | Eastern University Library General Stacks | 621.3815 PEA 2005 (Browse shelf(Opens below)) | Available | 07977 |
Browsing Eastern University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
No cover image available No cover image available | ||||||||
621.3815 MIZ 1997 Zener diodes & their applications / | 621.3815 MOE 1991 Electronic test equipment handbook / | 621.3815 PAE 2005 Electronic materials and components | 621.3815 PEA 2005 Applied formal verification / | 621.3815 PEA 2005 Applied formal verification / | 621.3815 PEE 2001 Exploring programmable ICs / | 621.3815 RAD 2003 Digital integrated circuits : |
Includes bibliographical references (p. 227-229) and index.
There are no comments on this title.
Log in to your account to post a comment.