Corrección de algoritmos complejos: verificación formal
Silva Ramírez, Esther Lídia
López Coello, Manuel
9,00 €(IVA inc.)
- ISBN: 978-84-9828-265-8
- Editorial: Universidad de Cádiz
- Encuadernacion: Rústica
- Páginas: 214
- Fecha Publicación: 01/05/2010
- Nº Volúmenes: 1
- Idioma: Español