00750nam a2200193 4500 1/26099 051121s2005 enk b 001 0 eng d 0131433474 27924 DLC GR-PeUP 621.39'222 LAM Lam, William K. Hardware Design Verification : simulation and formal methods - based approaches / William K. Lam New Jersey : Pearson Education, 2005 585 σ. : πίν. ; 23 εκ. Περιέχει ευρετήριο και βιβλιογραφία Integrated circuits Verification. INST UNIPILB MAIN 20051121 621.39'222 LAM 00149915 00149915 LOAN 0 1 /webopac/covers/02/27924_0131433474.jpg