The Specification of a Programming Language: A Small Example
por Charles Antony Richard Hoare · 1969
Sinopsis
Este trabajo presenta una manera formal y axiomática de especificar la semántica de los programas, sentando las bases para la verificación de la corrección del software.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda