Álvez, Javier, <br/><br/>
Especificación, verificación y derivación formal de programas 

 - Madrid (España):  Pearson Educación,  2015 
 - 245 páginas 
<br/><br/> Incluye índice general, notas bibliográficas, figuras, diagramas 
<br/><br/>Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos 
<br/><br/><label>ISBN: </label>9788420564982 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INFORMATICA<br/>PROGRAMAS INFORMATICOS<br/>RECURSIVOS<br/>SISTEMAS<br/>TECNICAS<br/>TRANSFORMACIÓN
<br/><br/><label>Dewey Class. No.: </label>004  / ALVe