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 |
Navegando Unidad Académica de Informática, Ciencias de la Computación e Innovación Tecnológica estanterías, Colección: Carrera de Ingeniería de Software Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.1 G993 7B00754 Introduccion a la computacion y programacion con python | 005.1 M672 7B00755 Manejo de tecnicas de programacion | 303.48 R397 7B00757 Tecnologias de la informacion y la comunicacion | 372.7 AL473 7B00762 Especificacion, verificacion y derivacion formal de programas | 001.42 L616 7B00765 Metodologia de la investigacion: propuesta, anteproyecto y proyecto | 526.9 B355 7B00766 Sistemas de informacion geografica: aplicaciones en diagnosticos territoriales y desiciones geoambientales | 005.432 M971 7B00768 Android: manual practico para todos los niveles como extraer todo el potencial de smartphones |
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.