ESPECIFICACIÓN, VERIFICACIÓN Y DERIVACIÓN FORMAL DE PROGRAMAS
Javier Álvez , Jose Gaintzarain , Montse Maritxalar , Paqui Lucio y Xabier Arregi
Editorial: Pearson
Edition: 1
publication date: 2015
ISBN: -
ISBN ebook: 9788420564708
pages: 248
Grade: Universitario
Area: Informática
Section: Informática General
Language: Español
Labels: Descatalogado
Tweet
Edition: 1
publication date: 2015
ISBN: -
ISBN ebook: 9788420564708
pages: 248
Grade: Universitario
Area: Informática
Section: Informática General
Language: Español
Labels: 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"
*The digital edition does not include access codes to additional material or programs mentioned in the book.
No prologue has been found
Javier Álvez
Jose Gaintzarain
Montse Maritxalar
Paqui Lucio
Xabier Arregi
No notes from the Author
Jose Gaintzarain
No notes from the Author
Montse Maritxalar
No notes from the Author
Paqui Lucio
No notes from the Author
Xabier Arregi
