|
LDR
| 01714nam a22004695i 4500 |
|---|
| 001 | 8412 |
|---|
| 003 | CONS |
|---|
| 005 | 20131220120045.0 |
|---|
| 007 | cr nn 008mamaa |
|---|
| 008 | 100301s2005 xxu| s |||| 0|eng d |
|---|
| 020 | | . |
‡a9780387263991
‡9978-0-387-26399-1 |
|---|
| 024 | 7 | . |
‡a10.1007/b137514
‡2doi |
|---|
| 035 | | . |
‡a(DE-He213)978-0-387-26399-1 |
|---|
| 050 | | 4. |
‡aTK7888.4 |
|---|
| 072 | | 7. |
‡aTJFC
‡2bicssc |
|---|
| 072 | | 7. |
‡aTEC008010
‡2bisacsh |
|---|
| 100 | 1 | . |
‡aMishra, Prabhat.
‡eauthor. |
|---|
| 245 | 1 | 0. |
‡aFunctional Verification of Programmable Embedded Architectures
‡h[electronic resource] :
‡bA Top-Down Approach /
‡cby Prabhat Mishra, Nikil D. Dutt. |
|---|
| 264 | | 1. |
‡aBoston, MA :
‡bSpringer US,
‡c2005. |
|---|
| 300 | | . |
‡aXIX, 180 p.
‡bonline resource. |
|---|
| 336 | | . |
‡atext
‡btxt
‡2rdacontent |
|---|
| 337 | | . |
‡acomputer
‡bc
‡2rdamedia |
|---|
| 338 | | . |
‡aonline resource
‡bcr
‡2rdacarrier |
|---|
| 347 | | . |
‡atext file
‡bPDF
‡2rda |
|---|
| 650 | | 0. |
‡aEngineering. |
|---|
| 650 | | 0. |
‡aComputer science. |
|---|
| 650 | | 0. |
‡aSoftware engineering. |
|---|
| 650 | | 0. |
‡aComputer system performance. |
|---|
| 650 | | 0. |
‡aComputer aided design. |
|---|
| 650 | | 0. |
‡aSystems engineering. |
|---|
| 650 | 1 | 4. |
‡aEngineering. |
|---|
| 650 | 2 | 4. |
‡aCircuits and Systems. |
|---|
| 650 | 2 | 4. |
‡aProcessor Architectures. |
|---|
| 650 | 2 | 4. |
‡aSpecial Purpose and Application-Based Systems. |
|---|
| 650 | 2 | 4. |
‡aComputer-Aided Engineering (CAD, CAE) and Design. |
|---|
| 650 | 2 | 4. |
‡aSystem Performance and Evaluation. |
|---|
| 650 | 2 | 4. |
‡aElectronic and Computer Engineering. |
|---|
| 700 | 1 | . |
‡aDutt, Nikil D.
‡eauthor. |
|---|
| 710 | 2 | . |
‡aSpringerLink (Online service) |
|---|
| 773 | 0 | . |
‡tSpringer eBooks |
|---|
| 776 | 0 | 8. |
‡iPrinted edition:
‡z9780387261430 |
|---|
| 856 | 4 | 0. |
‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/b137514
‡yTexto completo
‡9CONS |
|---|
| 950 | | . |
‡aEngineering (Springer-11647) |
|---|
| 901 | | . |
‡a8412
‡b
‡c8412
‡tbiblio
‡sSystem Local |
|---|
E-book
