Programación metódica
Tipo de material: TextoIdioma: Español Detalles de publicación: Madrid McGRAW-HILL 1993Edición: 1raDescripción: 416 páginasISBN:- 84-481-1957-6
- 001.642 BAL
Contenidos:
Especificación y corrección.-- Verificación y derivación.-- El principio de Inducción.-- Programas Recursivos.-- Transformación de Programas por Inmersión.-- Inmersión de Especificaciones.-- Programas Iterativos.-- Transformación de Recursividad Múltiple.-- Búsqueda Lineal.-- Búsqueda Lineal con Booleano.-- Búsqueda en Estructuras Ordenadas.-- Algoritmos de Ordenación
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros - Monografías | Biblioteca Central | Ingeniería Informática | 001.642 BAL (Navegar estantería(Abre debajo)) | 1 | Disponible | BGL33060 |
Incluye Índice General, Índice Alfabético
Especificación y corrección.-- Verificación y derivación.-- El principio de Inducción.-- Programas Recursivos.-- Transformación de Programas por Inmersión.-- Inmersión de Especificaciones.-- Programas Iterativos.-- Transformación de Recursividad Múltiple.-- Búsqueda Lineal.-- Búsqueda Lineal con Booleano.-- Búsqueda en Estructuras Ordenadas.-- Algoritmos de Ordenación
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.