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

Verificación formal de algoritmos : ejercicios resueltos

2018 - Universidad de Cádiz - Servicio de Publicaciones

E-book PDF (1,29 Mb)

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

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

Verificación formal de algoritmos : ejercicios resueltos

2018 - Universidad de Cádiz - Servicio de Publicaciones

240 p.

Información
ISBN: 9788498285628

Permalink: https://digital.casalini.it/9788498285628
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