Feijs, L. M. G. <br/><br/>
Formal specification and design / 
L.M.G. Feijs & H.B.M. Jonkers 
 - 1st pbk. version 
 - New York :  Cambridge University Press,  2005 
 - 335 p. :  ill. ;  25 cm. 
 - Cambridge tracts in theoretical computer science ;  v.35 .
 - Cambridge tracts in theoretical computer science ;  v.35 .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9780521435925 (pbk.) 0521435927 (pbk.) 9780521434577 (hbk.) 0521434572 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Object-oriented programming (Computer science)