Categorías
Recomendador de libros
Dinos qué te gusta y te recomendamos qué leer
Los libros más deseados
Compra online los libros más deseados por nuestros clientes
Novedades en libros. Noviembre de 2026
Todas las novedades editoriales de noviembre de 2026
Listas de libros recomendados
Novedades, sagas y recomendaciones por temáticas
Nuestras librerías
Verificación formal de algoritmos
Esther Lydia Silva Ramírez; Manuel López Coello
Esther Lydia Silva Ramírez; Manuel López Coello
Detalles del libro
| Editorial | Servicio de Publicaciones de la Universidad de Cádiz |
|---|---|
| Edición | 1ª ed., 1ª imp.(28/04/2010) | Páginas | 240 | Dimensiones | 24x17 cm |
| Idioma | Español |
| ISBN | 9788498282641 |
| ISBN-10 | 8498282640 |
| Encuadernación | Tapa blanda |
| Colección | Manuales ingenierías y arquitectura |
Detalles del libro
| Autor/es | Esther Lydia Silva Ramírez; Manuel López Coello |
|---|---|
| Editorial | Servicio de Publicaciones de la Universidad de Cádiz |
| Edición | 1ª ed., 1ª imp.(28/04/2010) | Páginas | 240 | Dimensiones | 24x17 cm |
| Idioma | Español |
| ISBN | 9788498282641 |
| ISBN-10 | 8498282640 |
| Encuadernación | Tapa blanda |
| Colección | Manuales ingenierías y arquitectura |
Otros clientes que compraron el libro Verificación formal de algoritmos también compraron:
-
Corrección De Algoritmos Complejos
- Silva Ramírez, Esther Lydia; López Coello, Manuel
- 214 páginas
- orrección de algoritmos complejos es un texto eminentemente práctico, cuya finalidad es la de ofrecer al alumno una guía para comprender y afianzar los conocimientos teóricos a través de la resolución de ejercicio
9,00€8,55€ -
Problemas Resueltos De álgebra Lineal
- Marcellán, Francisco; Arvesu Carballo, Jorge; Sánchez Ruiz, Jorge
- 320 páginas
- Esta obra presenta una exposición del álgebra lineal basada en el planteamiento y resolución de problemas, con un triple objetivo: ayudar a la comprensión de los conceptos teóricos mediante ejercicios ilustrativos que fa
22,00€20,90€ -
Fundamentos De C++
- Aburruzaga García, Gerardo; Medina Bulo, Inmaculada; Palomo Lozano, Francisco
- 475 páginas
- Este libro explica el lenguaje de programación C++ según la norma aprobada hace unos años por el instituto de normalización ANSI. Ha sido elaborado pensando en los alumnos de Metodología y Tecnología de Programaci
9,01€8,56€
Otros libros de la colección Manuales ingenierías y arquitectura:
Compiladores Y Procesadores De Lenguajes De José Antonio Jiménez Millán
- José Antonio Jiménez Millán
Otros libros de Matemáticas:
Otra información de interés
- Portada: Verificación formal de algoritmos de Servicio de Publicaciones de la Universidad de Cádiz
- Editorial: Servicio de Publicaciones de la Universidad de Cádiz | 28/04/2010
- Sinopsis:
Los autores de este libro, con isbn 978-84-9828-264-1, son Manuel López Coello y Esther Lydia Silva Ramírez, esta publicación tiene doscientas cuarenta páginas.
La publicación Verificación Formal De Algoritmos: Ejercicios Resueltos forma parte del catálogo de Universidad De La Rioja. Servicio De Publicaciones. Fue fundada en 1994 y actualmente se encuentra en La Rioja. Su catálogo tiene más de 200 publicaciones. Editorial Universidad de Cantabria, Edicions UIB, Universidad de Extremadura.Servicio de Publicaciones, Univ Públic Navarra/Nafarroako Unib Publik, Servicio de Publicaciones de la Universidad de Oviedo entre otros pertenecen al mismo grupo (Genueve Ediciones) que la editorial. Actas De Congresos, Revistas(en Papel Y En Formato Electrónico), Monografías De Investigación, Trabajos Fin De Estudios, Tesis Doctorales En Formato Electrónico entre otras son las especialidades de Universidad De La Rioja. Servicio De Publicaciones. Universidad - Ier, Material Didáctico., Biblioteca De Investigación, Monografías I+d, Biblioteca De Textos Latinos entre otros son algunos ejemplos de colecciones de la editorial. Elena González-fandos, Roberto Germán Fandiño Pérez, José María Martínez De Pisón Cavero, Zenaida Hernández Martín y Miguel ángel Muro son algunos de los autores que han publicado en Universidad De La Rioja. Servicio De Publicaciones.
Resumen
Otro libro de Silva Ramírez, Esther Lydia es Corrección De Algoritmos Complejos.