Llorens Largo, Faraón.  <br/><br/>
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. 
 - 1 online resource (viii, 185 pages) :  ill. 
 - Textos docentes. .
 - Textos docentes (Alicante, Spain). .
<br/><br/>Includes bibliographical references (p. 185). 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.   
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.7 eBook