Vista normal Vista MARC Vista ISBD

Álvarez, Javier

Especificacion, verificacion y derivacion formal de programas - 1a edicion - Pearson, 2015 - 245 p.: formulas, imagenes; 195 x 250 cm

2015

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.

ISBN: 978-84-205-6498-2

Subjects--Topical Terms:
ÁRBOL BINARIO
COMPOSICIÓN
DERIVACIÓN

Dewey Class. No.: 372.7 (Matemáticas) -