Embedded system design
modeling, synthesis and verification
Gajski, Daniel D.
text
bibliography
ne
Dordrecht
New York
Springer
c2009
2009
monographic
eng
xxiv, 352 p. : ill. ; 24 cm.
Daniel D. Gajski ... [et al.].
Includes bibliographical references (p. [335]-347) and index.
Embedded computer systems
Design and construction
Programmatuurtechniek
Embedded systems
Modellen (vorm)
Eingebettetes System
TK7895.E42 E614 2009
004.21 EMB
620
ST 153
54.51
9781441905031(hbk.)
1441905030 (hbk.)
9781441905048 (ebk.)
1441905049 (ebk)
2009931042
12642830
BTCTA
090619
20211109162141.0
15781945