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.

Atlántico/Industrial: Unknown