
por Carl A. Hoare · 1969
Ver sugerenciasSinopsis
Este ensayo fundamental explora la importancia de una definición formal y precisa de la semántica de los lenguajes de programación, abordando cómo el significado de un programa puede ser definido matemáticamente para asegurar la corrección y robustez del software.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.