Feijs, L. M. G.. , <br/><br/>
Formal specification and design / 
L. M. G. Feijs, H. B. M. Jonkers. 
 - xiii, 335 pages :  illustrations ;  25 cm. 
 - Cambridge tracts in theoretical computer science ;  v. 35 .
<br/><br/><label>ISBN: </label>9780521435925 0521434572 0521435927 9780521434577 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software --Development.<br/>Object-oriented programming (Computer science).
<br/><br/><label>LC Class. No.: </label>QA76.76.D47   / .F44 2005