TY  - BOOK
AU  - Llorens Largo,Faraón
AU  - Molina Carmona,Rafael
AU  - Rizo Aldeguer,Ramón
AU  - Satorre Cuerda,Rosana
TI  - Programación: formalización, análisis y reutilización de algoritmos matemáticos 
T2  - Textos docentes
AV  - QA76.7 eBook 
PY  - 2002///.
CY  - San Vicente del Raspeig
PB  - Publicaciones de la Universidad de Alicante
KW  - Computer programming.
KW  - Electronic books
N1  - 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
UR  - https://login.zproxy.cun.edu.co/login?url=https://www.digitaliapublishing.com/a/775/
ER  -