La semántica en lenguajes de programación
por Carl A. Hoare · 1969
Sinopsis
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 similares
Libros relacionados según distintos criterios de búsqueda