Métodos formales en programación: ¿desmitificar para motivar?

• Autores: Inés Jacob Taquet
• Localización: IX Jornadas de Enseñanza Universitaria de la Informática: Cádiz, del 9 al 11 de julio de 2003 / coord. por Universidad de Cádiz Departamento de Lenguajes y Sistemas Informáticos; Jornadas de Enseñanza Universitaria de la Informática 9 2003 C (col.), 2003, ISBN 8428328455, págs. 5-12
• Idioma: español
• Texto completo no disponible (Saber más ...)