Gajski, Daniel D. <br/><br/>
Specification and design of embedded systems / 
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan and Jie Gong 
 - Noida:  Pearson,  2007. 
 - xvii, 450 p.  PB 
<br/><br/>1.Introduction<br/>2. Models and architectures <br/>3. Specification language <br/>4. A specification example 
<br/><br/><label>ISBN: </label>9788131716120 
<br/><br/><label>Dewey Class. No.: </label>004.21  / GAJ/S