Embedded system design :  modeling, synthesis and verification / 
Daniel D. Gajski ... [et al.]. 
 - Dordrecht ;  New York :  Springer,  c2009. 
 - xxiv, 352 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. [335]-347) and index. 
<br/><br/> Hard binding 
<br/><br/><label>ISBN: </label>9781441905031(hbk.) 1441905030 (hbk.) 9781441905048 (ebk.) 1441905049 (ebk) 
<br/><br/><label>Publisher. No.: </label>12642830 
<br/><br/><label>LCCN: </label>2009931042 
<br/><br/><label>Nat. Bib. No.: </label>994910134  dnb 09,N28,0773  dnb 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Design and construction.<br/>Programmatuurtechniek<br/>Embedded systems<br/>Modellen (vorm)<br/>Eingebettetes System.
<br/><br/><label>LC Class. No.: </label>TK7895.E42  / E614 2009 
<br/><br/><label>Dewey Class. No.: </label>004.21  / EMB