Embedded system design : modeling, synthesis and verification

Other Authors: Gajski, Daniel D
Language: English
Published: Dordrecht: Springer, 2009.
Subjects:
LEADER 00722cam a2200181 7i4500
001 0000038253
005 20190508090000.0
008 110328 eng
020 |a 9781441905031 (hbk.)  
090 0 0 |a TK7895.E42   |b E43 2009 
245 0 0 |a Embedded system design :   |b modeling, synthesis and verification   |c Daniel D. Gajski ... [et al.]. 
260 |a Dordrecht:   |b Springer,   |c 2009. 
300 |a xxiv, 352 p.;   |c 24 cm. 
504 |a Includes bibliographical references and index 
650 0 0 |a Embedded computer systems --   |x Design and construction  
700 1 |a Gajski, Daniel D  
997 |a Engineering & Life Sciences, Faculty  |b Engineering, Department 
999 |a 0000048715  |b BOK  |c OPEN SHELF  |e 2nd Floor, Bestari Jaya