verificacion formal de algoritmos. ejercicios resueltos-esther l. silva ramirez-9788498282641

VERIFICACION FORMAL DE ALGORITMOS. EJERCICIOS RESUELTOS

 (En papel)

ESTHER L. SILVA RAMIREZ

, 2010
  • Nº de páginas: 240 págs.
  • Encuadernación: Tapa blanda
  • Editorial: UNIVERSIDAD DE CADIZ. SERVICIO DE PUBLICACIONES
  • Lengua: CASTELLANO
  • ISBN: 9788498282641
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.

9.00€

9.00€

Datos del libro

  • Nº de páginas: 240 págs.
  • Editorial: UNIVERSIDAD DE CADIZ. SERVICIO DE PUBLICACIONES
  • Lengua: CASTELLANO
  • Encuadernación: Tapa blanda
  • ISBN: 9788498282641
  • Año edición: 2010
  • Plaza de edición: CÁDIZ

Resumen

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

Valoración Media

Todavía no ha sido valorado

Valoraciones usuarios

  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Recomendaciones usuarios

  • 0% No ha sido todavía recomendado
Haz tu recomendación

Opiniones "VERIFICACION FORMAL DE ALGORITMOS. EJERCICIOS RESUELTOS"

No hay opiniones para este producto

Hazte un hueco en la comunidad de Casa del Libro, regístrate