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
SubtÃtulo:
Autor: Ricardo Peña Mari
ISBN: 9788466938105
Editorial: Complutense, Ediciones
Edicion: 2023-12-19
Disponibilidad: No Disponible