Turski, Wladyslaw M. <br/><br/>
The specification of computer programs  
/ Wladyslaw M. Turski, Thomas S.E. Maibaum. 
 - 1a ed. 
 - Wokingham, England :   Addison-Wesley,   c1987 
 - x, 278 p. :   il. ;   23 cm. 
<br/><br/>Incluye apéndice, bibliografía e índice 
<br/><br/><label>ISBN: </label>0201142260 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computador--Desarrollo<br/> Programación de computadores
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / T87 1987