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 only with Adobe Acrobat Reader (read more)

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.

Information
ISBN: 9788498285642

Permalink: https://digital.casalini.it/9788498285642
DISCIPLINES
- Mathematics
- Mathematics

EUR 5.00

VAT Excluded

PDF

View the Terms of Use

Download

Copy/paste

Printing

Sample page

Sample page