Programación: formalización, análisis y reutilización de algoritmos matemáticos
- [S.l.]: Universidad de Alicante, 1999
- 200 páginas 17 x 24 cm.
Incluye figuras, tablas, cuadros
Lenguajes de programación.-- El lenguaje C.-- Eficiencia de algoritmos.-- Construcción formal de algoritmos: especificaciones, verificaciones, y derivación.-- Algoritmos matemáticos. Numeral recipes en C