- Leído
- Leyendo
- Por leer
- Abandonado
En calidad de afiliado de Amazon, Lignina obtiene ingresos por las compras adscritas que cumplen los requisitos aplicables
Verificación formal de algoritmos. Ejercicios resueltos
Esther Lydia Silva Ramírez , Manuel López Coello
Con este libro se intenta cubrir una de las necesidades que los alumnos demandan año tras año en el aprendizaje de sus materias. Se trata, por tanto, de un texto con ejercicios resueltos, que complemente a los libros más teóricos, entendiendo que éstos son fundamentales. Viene, pues, este libro a complementar al título Corrección de algoritmos complejos. Verificación formal, publicado recientemente por los mismos autores.
Detalles del libro
- Editorial
- Servicio de Publicaciones de la Universidad de Cádiz
- Año de publicación
- 2010
- Colección
- Manuales. Ingenierías y Arquitectura
- Idioma
- Español
- ISBN
- 9788498282641
- LAN
- fe4469d2332e
Formato
Otros libros de Esther Lydia Silva Ramírez
Descubre más libros de Servicio de Publicaciones de la Universidad de Cádiz
