http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
formalización, análisis y reutilización de algoritmos matemáticos
1 online resource (viii, 185 pages) : ill.
1. Lenguaje de programación -- 2. El Lenguaje C. -- 3. Eficiencia de Algoritmos -- 4. Construcción formal de algoritmos: especificación, verificación y derivación -- 5. Algoritmos matemáticos. Numerical recipes en C.
Faraón Llorens Largo, Rafael Molina Carmona, Ramón Rizo Aldeguer, Rosana Satorre Cuerda.
Includes bibliographical references (p. 185).