|
|
|
|
| LEADER |
00824nam a2200205 a 4500 |
| 001 |
1/29493 |
| 008 |
060210s1999 gw a b 001 0 eng |
| 020 |
|
|
|a 3540654453
|
| 035 |
|
|
|l 31593
|
| 082 |
0 |
0 |
|a 621.39'5 KRO
|
| 100 |
1 |
|
|a Kropf, Thomas,
|d 1961-
|
| 245 |
1 |
0 |
|a Introduction to formal hardware verification /
|c Thomas Kropf
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1999
|
| 300 |
|
|
|a ix, 299 σ. :
|b εικ. ;
|c 25 εκ.
|
| 500 |
|
|
|a With 137 Figures and 32 Tables
|
| 504 |
|
|
|a Περιέχει βιβλιογραφία και ευρετήριο
|
| 650 |
|
4 |
|a Integrated circuits
|x Very large scale integration
|x Computer-aided design.
|
| 650 |
|
4 |
|a Integrated circuits
|x Verification.
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20060210
|h 621.39'5 KRO
|p 00150431
|q 00150431
|t LOAN
|y 0
|4 1
|
| 856 |
4 |
|
|d /webopac/covers/02/31593_3540654453.jpg
|
