Servicio De Publicaciones De La Universidad De Cádiz Verificación Formal De Algoritmos
Transporte: 2.95 EUR
Brand: Servicio De Publicaciones De La Universidad De Cádiz
EAN:
9788498282641MPN: 9788498282641
Categoría: Libros y revistas
Libro: Verificación formal de algoritmos (978-84-9828-264-1) de Silva Ramírez, Esther Lydia, López Coello, Manuel (Servicio de Publicaciones de la Universidad de Cádiz ) Comprar Libros de Ciencias Técnicas .Matemáticas .. 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. 0
Compara precios desde:
Servicio De Publicaciones De La Universidad De Cádiz in Libros y revistas