On the Formal Description of Programming Concepts
por D. Bjørner, C. B. Jones · 1978
Ver sugerenciasSinopsis
Colección de artículos derivados de un grupo de estudio de la IFIP Working Group 2.2, presentando enfoques pioneros en la descripción formal de la semántica de lenguajes de programación, esenciales para su verificación y comprensión precisa.
Sé el primero en valorar este libro.
Libros similares
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.