Cargando…

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Llorens Largo, Faraón
Otros Autores: Molina Carmona, Rafael, Rizo Aldeguer, Ramón, Satorre Cuerda, Rosana
Formato: Electrónico eBook
Idioma:Español
Publicado: San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002.
Colección:Textos docentes (Alicante, Spain).
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000nam a2200000Ii 4500
001 DIGUAL0242
003 NyNyDIG
006 m o d
007 cr |||||||||||
008 140501s2002 sp ob 000 0 spa d
020 |z 847908717X 
020 |z 9788479087173 
035 |a (OCoLC)649052577 
040 |a DGITA  |b eng  |e pn  |c DGITA 
050 1 4 |a QA76.7 eBook 
100 1 |a Llorens Largo, Faraón.  
245 1 0 |a Programación :  |b formalización, análisis y reutilización de algoritmos matemáticos /  |c Faraón Llorens Largo, Rafael Molina Carmona, Ramón Rizo Aldeguer, Rosana Satorre Cuerda. 
260 |a San Vicente del Raspeig :  |b Publicaciones de la Universidad de Alicante,  |c 2002.  
300 |a 1 online resource (viii, 185 pages) :  |b ill. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Textos docentes. 
504 |a Includes bibliographical references (p. 185). 
505 0 |a 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. 
650 0 |a Computer programming.  
655 0 |a Electronic books. 
700 1 |a Molina Carmona, Rafael. 
700 1 |a Rizo Aldeguer, Ramón. 
700 1 |a Satorre Cuerda, Rosana. 
791 2 |a Digitalia (Firm),  |e distributor. 
830 0 |a Textos docentes (Alicante, Spain). 
793 0 |g Digitalia eBook Collection:  |a Univ. de Alicante. 
856 4 0 |u https://digitalia.uam.elogim.com/a/775/  |z Texto completo 
910 |a Premium Collection: 2007-2012