|
|
|
|
| LEADER |
00746nam a2200205 a 4500 |
| 001 |
1/31256 |
| 008 |
061031s2004 maua b i 001 0 eng |
| 020 |
|
|
|a 1402077211
|
| 035 |
|
|
|l 33559
|
| 040 |
|
|
|a DLC
|b GR-PeUP
|
| 082 |
0 |
0 |
|a 621.3815'48 ADV
|
| 245 |
0 |
0 |
|a Advanced formal verification /
|c edited by Rolf Drechsler
|
| 260 |
|
|
|a Boston :
|b Kluwer Academic Publishers,
|c 2004
|
| 300 |
|
|
|a xxv, 249 σ. :
|b εικ. ;
|c 25 εκ.
|
| 504 |
|
|
|a Περιέχει βιβλιογραφία και ευρετήριο
|
| 650 |
|
4 |
|a Electronic circuits
|x Testing.
|
| 650 |
|
4 |
|a Decision trees.
|
| 700 |
1 |
|
|a Drechsler, Rolf.
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20061031
|h 621.3815'48 ADV
|p 00151265
|q 00151265
|t LOAN
|y 0
|4 1
|
| 856 |
4 |
|
|d /webopac/covers/02/33559_1402077211.jpg
|
