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.
Por: Llorens Largo, Faraón
Colaborador(es): Molina Carmona, Rafael | Rizo Aldeguer, Ramón | Satorre Cuerda, Rosana
Tipo de material:
TextoSeries Textos docentes (Alicante, Spain): Editor: San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002Descripción: 1 online resource (viii, 185 pages) : illTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceTema(s): Computer programmingGénero/Forma: Electronic books.Clasificación LoC:QA76.7 eBookRecursos en línea: Digitalia Hispánica
Contenidos:
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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|
Recurso Electrónico
|
Plantel Viaducto "Lic. Miguel Aleman Valdes" | DEH | Disponible |
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.
No hay comentarios en este titulo.