Valdés, Margarita M., comp. <br/><br/>
Especificación, verificación y derivación formal de programas / Javier Álvez ... [et al.] 

 - [Madrid, España]   Pearson Educación, c2016  2016 
 - [243] p.     30 cm. 
 - Always Learning .
<br/><br/>Incluye bibliografía  
<br/><br/><label>ISBN: </label>978-607-16-3504-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SOFTWARE - APLICACIONES - DESARROLLO  
<br/><br/><label>Dewey Class. No.: </label>005.3/Al87e