Corrección de algoritmos complejos: verificación formal
- Título:
- Corrección de algoritmos complejos: verificación formal
- Materia:
- Matemáticas
- Editor:
- Servicio de Publicaciones de la Universidad de Cádiz
- Descripción:
- 217
- Identificadores:
- E-ISBN: 9788498285642 ISBN:
- Colección:
- E-libro