Hardware Design Verification : simulation and formal methods - based approaches /
| Κύριος συγγραφέας: | Lam, William K. |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
New Jersey :
Pearson Education,
2005
|
| Ταξινομικός αριθμός: |
621.39'222 LAM |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
UNIPILB
| Ταξινομικός #: |
621.39'222 LAM |
|---|---|
| Αντίγραφο 1 |