
por Reinhard Wilhelm, Helmut Seidl · 2005
Sinopsis
Un tratado exhaustivo y riguroso sobre la teoría y la práctica de la construcción de compiladores, con un enfoque en la teoría de tipos, la optimización de código y la verificación formal.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda