Programación metódica
Material type:
TextPublication details: Madrid : McGraw-Hill, c1993Edition: 1a edDescription: xvi, 416 p. ; 24 cmISBN: - 8448119576
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.1 BAL (Browse shelf(Opens below)) | Available | DIF-00321 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.1 ABR The B-Book : assigning programs to meanings | D.1 ALA The design of well-structured and correct programs | D.1 ALA The design of well-structured and correct programs | D.1 BAL Programación metódica | D.1 BEN Programming Pearls | D.1 BEN Programming Pearls | D.1 BIN Practical algorithms for programmers |
Incluye ejercicios y bibliografía. --
Especificación y corrección -- Verificación y derivación -- 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 con booleano -- Búsqueda en estructuras ordenadas -- Algoritmos de ordenación.
Click on an image to view it in the image viewer