Especificación, verificación y derivación formal de programas
Idioma: Español Detalles de publicación: Madrid (España): Pearson Educación, 2015Descripción: 245 páginasTipo de contenido:- text
- no mediado
- volumen
- 9788420564982
- 004 ALVe
Contenidos:
Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca General En biblioteca | Fac de Sistemas y Telecomunicaciones - Carrera de Electrónica y Telecomunicaciones | 004 ALVe (Navegar estantería(Abre debajo)) | Disponible | BG0020417 | ||
Libros | Biblioteca General En biblioteca | Fac de Sistemas y Telecomunicaciones - Carrera de Informática | 004 ALVe (Navegar estantería(Abre debajo)) | Disponible | BG0020418 |
Incluye índice general, notas bibliográficas, figuras, diagramas
Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.