Título: |
Especificación, verificación y derivación formal de programas |
||||
Autor, etc.: |
Maritxalar Montse, Lucio Paqui, Gaintzarain José, Arregi Xavier, Álvez Javier |
||||
Fecha de publicación: |
2015 |
||||
Editorial: |
Pearson Madrid |
||||
Número de páginas: |
231 p. |
||||
Nota general: |
Incluye notas bibliográficas |
||||
Idioma: |
Español |
||||
Tipo de documento: |
texto impreso |
||||
Tipo de medio: |
Libro |
||||
ISBN/ISSN/DL: |
978-84-205-6498-2 |
||||
Clasificación: |
005.3 Programas |
||||
Palabras claves: |
DESARROLLO DE SOFTWARE, PROGRAMACIÓN INTERACTIVA, TRANSFORMACIÓN DE PROGRAMACIÓN, VERIFICACIÓN DE PROGRAMACIÓN |
||||
Descripción: |
Contiene: Especificación formal de programas. Verificación de programas itertivos. Verificación de programas recursivos. Especificación ecuacional de tipos de datos. Transformación de recursivo a iterativo. De3rivación de programas iterativos. Derivación de programas recursivos |
||||
|
|||||