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.

Similar Items

Similar Items