Programación metódica
Tipo de material: TextoIdioma: Español Detalles de publicación: Madrid: McGraw-Hill Interamericana de España, 1993Descripción: 416 p. : il. ; 23 x 18 cmTema(s): Clasificación CDD:- 005.1 - Programación de la aplicación. ingeniería de software
Contenidos:
I. Especificación y corrección.-- II. Verificación y derivación.-- III. El principio de inducción.-- IV. Programa recursivos.-- V. Transformación de programas por inmesión.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|---|
Libro | Facultad Filosofía, Letras y Ciencias de la Educación / Campus Universitario / Dr.Humberto Salvador Guerra | Libros | 005.1 BalP (Navegar estantería(Abre debajo)) | 1 | Disponible | vyagual | BFILO0232 | ||
Libro | Facultad Filosofía, Letras y Ciencias de la Educación / Campus Universitario / Dr.Humberto Salvador Guerra | Libros | 005.1 BalP (Navegar estantería(Abre debajo)) | 2 | Disponible | vyagual | BFILO0233 |
Navegando Facultad Filosofía, Letras y Ciencias de la Educación / Campus Universitario / Dr.Humberto Salvador Guerra estanterías, Colección: Libros Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
I. Especificación y corrección.-- II. Verificación y derivación.-- III. El principio de inducción.-- IV. Programa recursivos.-- V. Transformación de programas por inmesión.
1993
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.