Formal programming, an algebraic approach: an algebra of functions and imperative languajes semantics

• Autores: J.M.E. Valença
• Localización: XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 1, 1987, págs. 152-189
• Idioma: inglés
• Texto completo no disponible (Saber más ...)