TY  - BOOK
AU  - Maritxalar,Montse
AU  - Álvez,Javier
AU  - Arregi,Xavier
AU  - Gaintzarain,José
AU  - Lucio,Paqui
TI  - Especificación, verificación y derivación formal de programas
SN  - 978-84-205-6498-2
U1  - 005.3 
PY  - 2015///
CY  - Madrid
PB  - Pearson
KW  - DESARROLLO DE SOFTWARE
KW  - PROGRAMACIÓN INTERACTIVA
KW  - TRANSFORMACIÓN DE PROGRAMACIÓN
KW  - VERIFICACIÓN DE PROGRAMACIÓN
KW  - 005.3 - Programas
N1  - Incluye notas bibliográficas
N2  - Contiene: Especificación formal de programas. Verificación de programas itertivos. Verificación de programas recursivos. Especificación ecuacional de tipos de datos. Transformación de recursivo a iterativo. De3rivación de programas iterativos. Derivación de programas recursivos
ER  -