Hardware Design Verification : simulation and formal methods - based approaches /
| Κύριος συγγραφέας: | Lam, William K. |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
New Jersey :
Pearson Education,
2005
|
| Ταξινομικός αριθμός: |
621.39'222 LAM |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 00750nam a2200193 4500 | ||
|---|---|---|---|
| 001 | 1/26099 | ||
| 008 | 051121s2005 enk b 001 0 eng d | ||
| 020 | |a 0131433474 | ||
| 035 | |l 27924 | ||
| 040 | |a DLC |b GR-PeUP | ||
| 082 | 0 | 0 | |a 621.39'222 LAM |
| 100 | 1 | |a Lam, William K. | |
| 245 | 1 | 0 | |a Hardware Design Verification : |b simulation and formal methods - based approaches / |c William K. Lam |
| 260 | |a New Jersey : |b Pearson Education, |c 2005 | ||
| 300 | |a 585 σ. : |b πίν. ; |c 23 εκ. | ||
| 504 | |a Περιέχει ευρετήριο και βιβλιογραφία | ||
| 650 | 4 | |a Integrated circuits |x Verification. | |
| 852 | |a INST |b UNIPILB |c MAIN |e 20051121 |h 621.39'222 LAM |p 00149915 |q 00149915 |t LOAN |y 0 |4 1 | ||
| 856 | 4 | |d /webopac/covers/02/27924_0131433474.jpg | |