Image from Amazon.com
Applied formal verification / Douglas L. Perry, Harry Foster.
Material type:
TextSeries: Publisher: Boston : McGraw-Hill, 2005Description: xiv, 237 pages : illustrations ; 24 cmContent type: - text
- unmediated
- volume
- 007144372X
- TK7874.58 .P47 2005
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | TK7874.58 .P47 2005 (Browse shelf(Opens below)) | Available | 1000179977 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| TK7874.58 .C37 2007 Metric-driven design verification : an engineer's and executive's guide to first pass success / | TK7874.58 .G76 2006 Integrated circuit test engineering : modern techniques / | TK7874.58 .L35 2005 Hardware design verification : simulation and formal method-based approaches / | TK7874.58 .P47 2005 Applied formal verification / | TK7874.58 .P59 2008 Functional verification coverage measurement and analysis / | TK7874.58 .P73 2009 Practical design verification / | TK7874.58 .W53 2008 Standardized functional verification / |
1 3
There are no comments on this title.
Log in to your account to post a comment.