VERIFICACION FORMAL DE ALGORITMOS. EJERCICIOS RESUELTOS

UNIVERSIDAD DE CADIZ. SERVICIO DE PUBLICACIONES - 9788498282641

Matemáticas Álgebra

Sinopsis de VERIFICACION FORMAL DE ALGORITMOS. EJERCICIOS RESUELTOS

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.

Ficha técnica


Editorial: Universidad de Cadiz. Servicio de Publicaciones

ISBN: 9788498282641

Idioma: Castellano

Número de páginas: 240

Encuadernación: Tapa blanda

Fecha de lanzamiento: 28/04/2010

Año de edición: 2010

Plaza de edición: Cádiz
Número: 6

Especificaciones del producto



Escrito por ESTHER L. SILVA RAMIREZ


Descubre más sobre ESTHER L. SILVA RAMIREZ
Recibe novedades de ESTHER L. SILVA RAMIREZ directamente en tu email

Opiniones sobre VERIFICACION FORMAL DE ALGORITMOS. EJERCICIOS RESUELTOS


¡Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en 20€*!

Los libros más vendidos esta semana