Gannon, John D. <br/><br/>
Software specification   :  a comparison of formal methods 
/ by John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz. 
 - 1a ed. 
 - Norwood, NJ. :  Ablex Pu.,  c1994 
 - xi, 249 p. :   il. ;    23 cm. 
<br/><br/>Bibliografía : p. 237-242 Incluye índice 
<br/><br/><label>ISBN: </label>1567500331 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Ingeniería de software<br/>Software para computador
<br/><br/><label>LC Class. No.: </label>QA76.758  / G36 1994