Feijs, L. M. G. <br/><br/>
Formal specification and design  [Books]. 
L. M. G. Feijs & H. B. M. Jonkers. 
 - Great Britain  Cambridge University Press  1992 
 - Pages: 335 
<br/><br/><label>ISBN: </label>0521434572  0.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Programming languages (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>QA/76.7  / FEI