Programación formalización, análisis y reutilización de algoritmos matemáticos /
Main Author: | |
---|---|
Other Authors: | , , |
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.