Local cover image
Local cover image

Programación metódica

By: Material type: TextTextPublication details: Madrid : McGraw-Hill, c1993Edition: 1a edDescription: xvi, 416 p. ; 24 cmISBN:
  • 8448119576
Subject(s):
Contents:
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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática D.1 BAL (Browse shelf(Opens below)) Available DIF-00321

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

Local cover image