TY  - BOOK
AU  - Álvarez, Javier
AU  - Arregi, Xavier
AU  - Gaintzarain, José
AU  - Lucio, Paqui
AU  - Montse, Maritxalar
TI  - Especificacion, verificacion y derivacion formal de programas
SN  - 978-84-205-6498-2
U1  - 372.7 (Matemáticas) - 
PY  - 2015///
CY  - 
PB  - Pearson, 
KW  - ÁRBOL BINARIO
KW  - COMPOSICIÓN
KW  - DERIVACIÓN
N1  - 2015
N2  - Este libro suministra material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable. Presentamos, e ilustramos con ejemplos y ejercicios, una colección de métodos formales básicos de especificación de programas y de tipos de datos, de verificación de programas imperativos y recursivos sencillos, de transformación de especificacióones (y/o programas) recursivos en programas iterativos y de derivación formal de programas, tanto iterativos como recursivos. Cada capítulo del libro contiene ejemplos completamente desarrollados en las secciones precedentes, incluendo una lista final de ejercicios de recopilación
ER  -