Hayes, Ian <br/><br/>
Specification case studies 

 - New York:  Prentice Hall,  1987. 
 - 332p.  :ill.  ;24cm. 
 - Prentice-Hall international series in computer science .
<br/><br/><label>ISBN: </label>0-13-826579-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs <br/>Specification
<br/><br/><label>LC Class. No.: </label>QA76.6.S667