INDICE: Especificación y corrección. Verificación y derivación. El 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
Contacte con nosotros para mejorar la información de este artículo.
Materias de este libro
Submaterias de este libro
Materias de este libro
Submaterias de este libro
Materias de este libro
Submaterias de este libro Consulte la ayuda si desea obtener más información al respecto.