Silva Ramírez, Esther Lydia | López Coello, Manuel

Corrección de algoritmos complejos : verificación formal

2018 - Universidad de Cádiz - Servicio de Publicaciones

E-book PDF (1,19 Mb)

Compatible solo con Adobe Acrobat Reader (leer más)

Silva Ramírez, Esther Lydia | López Coello, Manuel

Corrección de algoritmos complejos : verificación formal

2018 - Universidad de Cádiz - Servicio de Publicaciones

390 p.

Información
ISBN: 9788498285642

Permalink: https://digital.casalini.it/9788498285642
MATERIAS
- Matemáticas
- Mathematics

EUR 5,00

IVA excluido

PDF

Consulta las condiciones de uso

Download

Copia/pega

Impresión

Área de trabajo

Página de muestra

Página de muestra