Programación formalización, análisis y reutilización de algoritmos matemáticos (Universidad de Alicante, 2002)
Includes bibliographical references (p. 185)
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.