00824nam a2200205 a 4500 1/29493 060210s1999 gw a b 001 0 eng 3540654453 31593 621.39'5 KRO Kropf, Thomas, 1961- Introduction to formal hardware verification / Thomas Kropf Berlin ; New York : Springer, c1999 ix, 299 σ. : εικ. ; 25 εκ. With 137 Figures and 32 Tables Περιέχει βιβλιογραφία και ευρετήριο Integrated circuits Very large scale integration Computer-aided design. Integrated circuits Verification. INST UNIPILB MAIN 20060210 621.39'5 KRO 00150431 00150431 LOAN 0 1 /webopac/covers/02/31593_3540654453.jpg