Catalog

Record Details

Catalog Search


Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components Cover Image E-book E-book

Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.

Nicolescu, G. (editor.). Jerraya, A. A. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01670nam a22004575i 4500
00113181
003CONS
00520131217144228.0
007cr nn 008mamaa
008100715s2007 ne | s |||| 0|eng d
020 . ‡a9781402061530 ‡9978-1-4020-6153-0
0247 . ‡a10.1007/978-1-4020-6153-0 ‡2doi
035 . ‡a(DE-He213)978-1-4020-6153-0
050 4. ‡aTK7888.4
072 7. ‡aTJFC ‡2bicssc
072 7. ‡aTEC008010 ‡2bisacsh
1001 . ‡aNicolescu, G. ‡eeditor.
24510. ‡aGlobal Specification and Validation of Embedded Systems ‡h[electronic resource] : ‡bIntegrating Heterogeneous Components / ‡cedited by G. Nicolescu, A. A. Jerraya.
264 1. ‡aDordrecht : ‡bSpringer Netherlands, ‡c2007.
300 . ‡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. ‡aSoftware engineering.
650 0. ‡aInformation theory.
650 0. ‡aComputer simulation.
650 0. ‡aComputer aided design.
650 0. ‡aSystems engineering.
65014. ‡aEngineering.
65024. ‡aCircuits and Systems.
65024. ‡aComputer-Aided Engineering (CAD, CAE) and Design.
65024. ‡aSimulation and Modeling.
65024. ‡aTheory of Computation.
65024. ‡aSpecial Purpose and Application-Based Systems.
7001 . ‡aJerraya, A. A. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9781402061516
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-4020-6153-0 ‡yTexto completo ‡9CONS
950 . ‡aEngineering (Springer-11647)
901 . ‡a13181 ‡b ‡c13181 ‡tbiblio ‡sSystem Local

Additional Resources