
por David Gries · 1981
Sinopsis
Un libro seminal que introduce la programación como una disciplina formal, aplicando la lógica matemática para desarrollar programas correctos mediante un enfoque sistemático de derivación de programas a partir de especificaciones.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda