Verificación formal de algoritmos

Ejercicios resueltos

2010

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.

Saber másexpand_more
9,00 €
Impuestos incluidos Envío excluido Entrega: 48h (Península y Baleares)*
Cantidad

 

 

 

Detalles de la publicación

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

Título
Verificación formal de algoritmos
Subtítulo
Ejercicios resueltos
Autor
Silva Ramírez, Esther Lydia; López Coello, Manuel
Colección
Manuales. Ingenierías y Arquitectura
ISBN
9788498282641
Año de publicación
2010
Nº Edición
1
Materia
Matemáticas
Idioma
Español / Castellano
Formato producto
Tapa blanda o bolsillo
Nº Páginas
240
Alto
170 mm
Ancho
240 mm
Editorial
Servicio de Publicaciones de la Universidad de Cádiz

Opiniones

Sin opiniones por el momento

Escribe tu opinión

Verificación formal de algoritmos

Escribe tu opinión