VERIFICACIÓN FORMAL DE ALGORITMOS, SILVA RAMÍREZ, ESTHER LYDIA, LOPEZ COELLO, MANUEL, ISBN: 9788498282641

En algunas ocasiones las existencias pueden estar erróneas o no se lo podremos conseguir en el plazo señalado. Confiamos en su comprensión y le agradecemos la confianza depositada. Esperamos no defraudarle.

SILVA RAMÍREZ, ESTHER LYDIA, LOPEZ COELLO, MANUEL

VERIFICACIÓN FORMAL DE ALGORITMOS

978-84-9828-264-1 / 9788498282641

AGOTADO

Autores:
SILVA RAMÍREZ, ESTHER LYDIA, LOPEZ COELLO, MANUEL
Editorial:
UNIVERSIDAD DE CADIZ
Año:
2010
Lugar de edición:
CÁDIZ
Colección:
MANUALES
Materia:
Matemáticas computacionales. Análisis numérico.

Comentarios

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.