Applied formal verification / Douglas L. Perry, Harry D. Foster.
Material type:
TextSeries: McGraw-Hill electronic engineering | McGraw-Hill electronic engineering seriesPublication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN: - 007144372X
- 9780071443722
| Item type | Current library | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
Open Shelf
|
UMK Kampus Jeli | UMK Kampus Jeli | DEFAULT | Kampus Jeli Open Shelf Level 1 | TK7874.58 .P47 2005 (Browse shelf(Opens below)) | Available | 10309558 | |||
References
|
UMK Kampus Kota | UMK Kampus Kota | DEFAULT | Kampus Kota Reference | TK7874.58 .P47 2005 (Browse shelf(Opens below)) | 1 | Not for loan Damaged | 10020844 |
Browsing UMK Kampus Jeli shelves, Shelving location: Kampus Jeli Open Shelf Level 1, Collection: DEFAULT Close shelf browser (Hides shelf browser)
| TK7874 .E45 2016 Microelectronics : from fundamentals to applied design / | TK7874 .K847 2008 Fabless semiconductor implementation / | TK7874 .P52 1995 ELECTRONIC CIRCUIT N SYS SIMULATION METH | TK7874.58 .P47 2005 Applied formal verification / | TK7874.58 .V37 2006 Effective functional verification : principles and processes / | TK7874.654 .R56 2009 Analog IC design with low-dropout regulators / | TK7874.66 .Y464 2005 Low voltage, low power VLSI subsystems / |
Includes bibliographical references (p. 227-229) and index
There are no comments on this title.
Log in to your account to post a comment.