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

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Llorens Largo, Faraón
Muut tekijät: Molina Carmona, Rafael, Rizo Aldeguer, Ramón, Satorre Cuerda, Rosana
Aineistotyyppi: Elektroninen E-kirja
Kieli:espanja
Julkaistu: San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2002.
Sarja:Textos docentes (Alicante, Spain).
Digitalia eBook Collection: Univ. de Alicante
Aiheet:
Linkit:Digitalia Hispánica
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

MARC

LEADER 00000nam a2200000Ia 4500
001 DIGUAL0242
003 NyNyDIG
006 m d
007 cr |||||||||||
008 140501s2002 sp ob 000 0 spa d
020 |z 847908717X (pbk.) 
020 |z 9788479087173 (pbk.) 
040 |a DGITA  |b eng  |e pn  |c DGITA 
050 4 |a QA76.7 ebook 
100 1 |a Llorens Largo, Faraón.  
245 1 0 |a Programación   |h [electronic resource] :  |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.   |e (New York, NY. :  |f Digitalia Inc,   |g 2012). 
300 |a 1 online resource (viii, 185 p.) :  |b ill. 
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. 
506 |a Access restricted to subscribing institutions. 
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). 
830 0 |a Digitalia eBook Collection: Univ. de Alicante 
856 4 0 |3 Digitalia Hispánica  |u https://digitalia.unach.elogim.com/a/775/