SubtÃtulo: Diseño de Programas Formali CD
Autor: Ricardo Peña Mari
ISBN: 8420541915
Editorial: Pearson
Edicion: 2005-01-01
Disponibilidad: No Disponible
SubtÃtulo: Con programas verificados en Dafny
Autor: Ricardo Peña Mari
ISBN: 9788417289270
Editorial: Garceta Grupo Editorial
Edicion: 2019-01-01
Disponibilidad: Disponible