Especificacion, verificacion y derivacion formal de programas
Tipo de material: TextoIdioma: Español Detalles de publicación: Pearson, 2015Edición: 1a edicionDescripción: 245 p.: formulas, imagenes; 195 x 250 cmISBN:- 978-84-205-6498-2
- 372.7 (Matemáticas) -
Tipo de ítem | Biblioteca actual | Colección | Signatura | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Unidad Académica de Informática, Ciencias de la Computación e Innovación Tecnológica | Carrera de Ingeniería de Software | 372.7 AL473 7B00762 (Navegar estantería(Abre debajo)) | Disponible | 7B00762 |
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.
No hay comentarios en este titulo.