Verificación formal de algoritmosejercicios resueltos

  1. Silva Ramírez, Esther Lydia
  2. López Coello, Manuel

Verlag: Servicio de Publicaciones ; Universidad de Cádiz

ISBN: 978-84-9828-264-1

Datum der Publikation: 2010

Art: Buch

DIALNET GOOGLE SCHOLAR

Zusammenfassung

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

Fuente de los datos: Dialnet