http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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.
Incluye bibliografía, p. 400-411 e indice
PROGRAMACION (COMPUTADORES DIGITALES ANALOGICOS)
PROGRAMACION (COMPUTADORES ELECTRONICOS)