Búsqueda

Resultados 1 - 2 de 2
Número de resultados a mostrar por páginas

Resultados de búsquedas

1. Corrección de algoritmos complejos: verificación formal
Silva Ramírez, Esther
Servicio de Publicaciones de la Universidad de Cádiz
E-ISBN: 9788498285642 ISBN:
2. Verificación formal de algoritmos: ejercicios resueltos
Silva Ramírez, Esther
Servicio de Publicaciones de la Universidad de Cádiz
E-ISBN: 9788498285628 ISBN: