Buscar
Mostrando ítems 1-10 de 1435
Configuración y Selección de Máquinas Herramientas. Modelo de Costos de Centros de Mecanizado con Base en Especificaciones de Máquina
(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2015)
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
(2017-03)
En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ...
Aspectos básicos de las especificaciones de combustibles a utilizarse en máquinas diesel y plantas de vapor
(CEPAL, Sede Subregional en México, 1993-02-01)