Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Hardware design verification : simulation and formal method-based approaches / William K. Lam

  • Linear

  • MARC

  •  
    TK7874.58
    .L36 2005
     
    653290 (Shelf),BOK
    Lam, William K. C. , 1962-

         Hardware design verification : simulation and formal method-based approaches. - Upper Saddle River, NJ , 2005.

         xxv, 585 p. : ill. ; 24 cm Prentice Hall modern semiconductor design series.

         ISBN 0131433474 (alk. paper).
         
         1. Integrated circuits - Verification.I. Title II. Series
         Library : UiTM Shah Alam; UITM Pulau Pinang
    Accn No.Item StatusAdd IdLocationSMDItem Category
    653290ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)
    653376ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top