Hardware design verification : simulation and formal method-based approaches / William K. Lam.
Materyal türü:
MakaleSeri kaydı: Prentice Hall modern semiconductor design seriesYayın ayrıntıları:Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, c2005.Tanım: xxv, 585 p. : ill. ; 24 cmISBN: - 0131433474 (alk. paper)
- 621.39/2
- TK7874.58
| Materyal türü | Geçerli Kütüphane | Yer numarası | Durum | Barkod | |
|---|---|---|---|---|---|
| Book | NEU Grand Library General Collection | TK7874.58 .L36 2005 (Rafa gözat(Aşağıda açılır)) | Kullanılabilir | 3107481571 |
Includes bibliographical references (p. 539-559) and index.
Bu materyal hakkında henüz bir yorum yapılmamış.
Hesabınız ile oturum açın bir yorum göndermek için.