Verificación formal de algoritmos: ejercicios resueltos
- Título:
- Verificación formal de algoritmos: ejercicios resueltos
- Materia:
- Matemáticas
- Editor:
- Servicio de Publicaciones de la Universidad de Cádiz
- Descripción:
- 242
- Identificadores:
- E-ISBN: 9788498285628 ISBN:
- Colección:
- E-libro