TY  - BOOK
AU  - Álvez,Javier
AU  - Arregi,Xabier
AU  - Gaintzarain,Jose
TI  - Especificación, verificación y derivación formal de programas
SN  - 9788420564982
U1  - 004 
PY  - 2015///
CY  - Madrid (España)
PB  - Pearson Educación
KW  - INFORMATICA
KW  - PROGRAMAS INFORMATICOS
KW  - RECURSIVOS
KW  - SISTEMAS
KW  - TECNICAS
KW  - TRANSFORMACIÓN
N1  - Incluye índice general, notas bibliográficas, figuras, diagramas; 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
ER  -