Catalog

Record Details

Catalog Search



System-Level Validation High-Level Modeling and Directed Test Generation Techniques  Cover Image E-book E-book

System-Level Validation [electronic resource] : High-Level Modeling and Directed Test Generation Techniques / by Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra.

Chen, Mingsong. (author.). Qin, Xiaoke. (author.). Koo, Heon-Mo. (author.). Mishra, Prabhat. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781461413592
  • Physical Description: XXI, 247 p. 103 illus., 6 illus. in color. online resource.
  • Publisher: New York, NY : Springer New York : 2013.
Subject: Engineering.
Computer science.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
Processor Architectures.

Electronic resources


LDR 01639nam a22004335i 4500
00125523
003CONS
00520130726164955.0
007cr nn 008mamaa
008120925s2013 xxu| s |||| 0|eng d
020 . ‡a9781461413592 ‡9978-1-4614-1359-2
0247 . ‡a10.1007/978-1-4614-1359-2 ‡2doi
035 . ‡a(DE-He213)978-1-4614-1359-2
050 4. ‡aTK7888.4
072 7. ‡aTJFC ‡2bicssc
072 7. ‡aTEC008010 ‡2bisacsh
1001 . ‡aChen, Mingsong. ‡eauthor.
24510. ‡aSystem-Level Validation ‡h[electronic resource] : ‡bHigh-Level Modeling and Directed Test Generation Techniques / ‡cby Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra.
264 1. ‡aNew York, NY : ‡bSpringer New York : ‡bImprint: Springer, ‡c2013.
300 . ‡aXXI, 247 p. 103 illus., 6 illus. in color. ‡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. ‡aElectronics.
650 0. ‡aSystems engineering.
65014. ‡aEngineering.
65024. ‡aCircuits and Systems.
65024. ‡aElectronics and Microelectronics, Instrumentation.
65024. ‡aProcessor Architectures.
7001 . ‡aQin, Xiaoke. ‡eauthor.
7001 . ‡aKoo, Heon-Mo. ‡eauthor.
7001 . ‡aMishra, Prabhat. ‡eauthor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9781461413585
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-4614-1359-2 ‡yTexto completo ‡9CONS
950 . ‡aEngineering (Springer-11647)
901 . ‡a25523 ‡b ‡c25523 ‡tbiblio ‡sSystem Local

Additional Resources