|
|
|
|
| LEADER |
01565nam a2200337Ia 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.
|
| 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.
|
| 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 http://www.digitaliapublishing.com/a/775/
|
| 910 |
|
|
|a Premium Collection: 2007-2012
|