VERIFICACIÓN FORMAL DE ALGORITMOS

VERIFICACIÓN FORMAL DE ALGORITMOS. EJERCICIOS RESUELTOS (Libro en papel)

Editorial:
UNIVERSIDAD DE CÁDIZ
Año de edición:
Materia
Matemáticas
ISBN:
978-84-9828-264-1
Páginas:
240
Encuadernación:
Rústica
-5%
9,00 €
8,55 €
IVA incluido
Disponible en 1 semana
Comprar

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.

Otros libros del autor