Gajski, Daniel D <br/><br/>
Embedded system design: modeling, synthesis and Verification 

 - New Delhi  Springer  2013 
 - 352 
<br/><br/><label>ISBN: </label>9781441905048 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE AND ENGINEERING
<br/><br/><label>Dewey Class. No.: </label>006.22 GAJ/ABD