The Formal Semantics of Programming Languages: An Introduction
por Glynn Winskel · 1993
Sinopsis
Este texto proporciona una introducción detallada a los métodos para definir formalmente el significado (semántica) de los lenguajes de programación, utilizando modelos matemáticos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.