Gajski, Daniel <br/><br/>
Embedded system design: modeling, synthesis and verification / 
Daniel D. Gajski 
 - India  Springer  2013 
 - 352 p. 
<br/><br/><label>ISBN: </label>9788132211068 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineeringﾠ<br/>Computer-aided designﾠ<br/>Systems engineeringﾠ<br/>Software engineeringﾠ<br/>Embedded computer systems--Design and constructionﾠ
<br/><br/><label>Dewey Class. No.: </label>004.21 GAJ-D