Programación : formalización, análisis y reutilización de algoritmos matemáticos /
Llorens Largo, Faraón.
Programación : formalización, análisis y reutilización de algoritmos matemáticos / Faraón Llorens Largo, Rafael Molina Carmona, Ramón Rizo Aldeguer, Rosana Satorre Cuerda. - San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002. - 1 online resource (viii, 185 pages) : ill. - Textos docentes. . - Textos docentes (Alicante, Spain). .
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.
Computer programming.
Electronic books.
QA76.7 eBook
Programación : formalización, análisis y reutilización de algoritmos matemáticos / Faraón Llorens Largo, Rafael Molina Carmona, Ramón Rizo Aldeguer, Rosana Satorre Cuerda. - San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002. - 1 online resource (viii, 185 pages) : ill. - Textos docentes. . - Textos docentes (Alicante, Spain). .
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.
Computer programming.
Electronic books.
QA76.7 eBook