TY - BOOK AU - Llorens Largo,Faraón AU - Molina Carmona,Rafael TI - Programación: formalización, análisis y reutilización de algoritmos matemáticos SN - 8479084723 U1 - 005.1 PY - 1999/// CY - [S.l.] PB - Universidad de Alicante KW - INFORMATICA KW - ALGORITMOS KW - PROGRAMACION N1 - 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 ER -