| 000 | 01447nom a2200385 u 4500 | ||
|---|---|---|---|
| 001 | 10070952 | ||
| 003 | upatras | ||
| 005 | 20210412082259.0 | ||
| 008 | 090513s2005 eng | ||
| 020 | _a9780387263991 | ||
| 040 |
_aGR-PaULI _cGR-PaULI |
||
| 041 | 0 | _aeng | |
| 100 | 1 |
_aMishra, Prabhat _967743 |
|
| 245 | 1 | 0 |
_aFunctional Verification of Programmable Embedded Architectures _h[electronic resource] _bA Top-Down Approach _cby Prabhat Mishra, Nikil D. Dutt |
| 260 |
_aBoston, MA _bSpringer Science+Business Media, Inc. _c2005 |
||
| 300 | _bv.: digital | ||
| 650 | 4 |
_aEngineering _917712 |
|
| 650 | 4 |
_aComputer engineering _924296 |
|
| 650 | 4 |
_aComputer science _913995 |
|
| 650 | 4 |
_aSoftware engineering _922316 |
|
| 650 | 4 |
_aComputer system performance _964638 |
|
| 650 | 4 |
_aComputer aided design _924299 |
|
| 650 | 4 |
_aSystems engineering _964844 |
|
| 650 | 4 |
_aEngineering _917712 |
|
| 650 | 4 |
_aElectronic and Computer Engineering _964855 |
|
| 650 | 4 |
_aΑρχιτεκτονική ηλεκτρονικών υπολογιστών _924451 |
|
| 650 | 4 |
_aSpecial Purpose and Application-Based Systems _966909 |
|
| 650 | 4 |
_aSystem Performance and Evaluation _964639 |
|
| 650 | 4 |
_aComputer-Aided Engineering (CAD, CAE) and Design _964865 |
|
| 650 | 4 |
_aCircuits and Systems _924301 |
|
| 700 | 1 |
_aDutt, Nikil D. _967744 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/b137514 |
| 942 | _2ddc | ||
| 999 |
_c47197 _d47197 |
||