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 Juan José Domínguez Jiménez , Antonia Estero Botaro; Universidad de Cádiz (col.), 2003, ISBN 8428328455, págs. 5-12
• Idioma: español
• Enlaces
  • Texto Completo Libro