ESPECIFICACIÓN, VERIFICACIÓN Y DERIVACIÓN FORMAL DE PROGRAMAS
Javier Álvez , Jose Gaintzarain , Montse Maritxalar , Paqui Lucio y Xabier Arregi
Editorial: Pearson
Edición: 1
Fecha Publicación: 2015
ISBN: -
ISBN ebook: 9788420564708
Páginas: 248
Grado: Universitario
Área: Informática
Sección: Informática General
Idioma: Español
Etiquetas: Descatalogado
Tweet
Edición: 1
Fecha Publicación: 2015
ISBN: -
ISBN ebook: 9788420564708
Páginas: 248
Grado: Universitario
Área: Informática
Sección: Informática General
Idioma: Español
Etiquetas: Descatalogado
Tweet
"1. Introducción
2. Especificación formal de progrmas
3. Verificación de progrmas iterativos
4. Verificación de programas recursivos
5. Especificación ecuacional de tipos de datos
6. Transformación de recursivo a iterativo
7. Derivación de programas iterativos
8. Derivación de programas recursivos"
*La edición digital no incluye códigos de acceso a material adicional o programas mencionados en el libro.
No se ha encontrado prólogo
Javier Álvez
Jose Gaintzarain
Montse Maritxalar
Paqui Lucio
Xabier Arregi
No hay notas del Autor
Jose Gaintzarain
No hay notas del Autor
Montse Maritxalar
No hay notas del Autor
Paqui Lucio
No hay notas del Autor
Xabier Arregi
