Programación formalización, análisis y reutilización de algoritmos matemáticos /

Bibliographic Details
Main Author: Llorens Largo, Faraón.
Other Authors: Molina Carmona, Rafael., Rizo Aldeguer, Ramón., Satorre Cuerda, Rosana.
Format: Electronic eBook
Language:Spanish
Published: San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002.
Series:Textos docentes (Alicante, Spain).
Digitalia eBook Collection: Univ. de Alicante.
Subjects:
Online Access:Digitalia Hispánica
Table of Contents:
  • 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.