Catalog

Record Details

Catalog Search



Functional Verification of Programmable Embedded Architectures A Top-Down Approach  Cover Image E-book E-book

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Mishra, Prabhat. (author.). Dutt, Nikil D. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9780387263991
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIX, 180 p. online resource.
  • Publisher: Boston, MA : Springer US, 2005.
Subject: Engineering
Computer science
Software engineering
Computer system performance
Computer aided design
Systems engineering
Engineering
Circuits and Systems
Processor Architectures
Special Purpose and Application-Based Systems
Computer-Aided Engineering (CAD, CAE) and Design
System Performance and Evaluation
Electronic and Computer Engineering

Electronic resources


LDR 01714nam a22004695i 4500
0018412
003CONS
00520131220120045.0
007cr nn 008mamaa
008100301s2005 xxu| s |||| 0|eng d
020 . ‡a9780387263991 ‡9978-0-387-26399-1
0247 . ‡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
1001 . ‡aMishra, Prabhat. ‡eauthor.
24510. ‡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.
65014. ‡aEngineering.
65024. ‡aCircuits and Systems.
65024. ‡aProcessor Architectures.
65024. ‡aSpecial Purpose and Application-Based Systems.
65024. ‡aComputer-Aided Engineering (CAD, CAE) and Design.
65024. ‡aSystem Performance and Evaluation.
65024. ‡aElectronic and Computer Engineering.
7001 . ‡aDutt, Nikil D. ‡eauthor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9780387261430
85640. ‡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

Additional Resources