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