Programación formalización, análisis y reutilización de algoritmos matemáticos - Llorens Largo, Faraón.; Molina Carmona, Rafael; Rizo Aldeguer, Ramón.; Satorre Cuerda, Rosana (San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002)
1. Lenguaje de programación -- 2. El Lenguaje C. -- 3. Eficiencia de Algoritmos -- 4. Construcción formal de algoritmos: especificación, verificación y derivación -- 5. Algoritmos matemáticos. Numerical recipes en C.
Includes bibliographical references (p. 185).
Keywords: Computer programming; Electronic books