Cover Image

Programación metódica /

Saved in:
Bibliographic Details
Main Author: Balcazar, José Luis
Other Authors: Stumpf, Juan (ed.)
Format: Book
Language: Spanish
Published: Madrid : McGraw - Hill, 1993.
Subjects:
PROGRAMACION (COMPUTADORES DIGITALES ANALOGICOS)
PROGRAMACION (COMPUTADORES ELECTRONICOS)
Notas Contenido:
  • Especificación y corrección.
  • Verificación y derivación.
  • El principio de inducción.
  • Programas recursivos.
  • Transformación de programas por inmensió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.
  • Consideraciones prácticas.
Description
Physical Description:xvi, 416 páginas : il ; 24 cm.
Bibliography:Incluye bibliografía, p. 400-411 e indice
ISBN:8448119576

Similar Items