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 only with Adobe Acrobat Reader - free software - (find out how to open the files)

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.

Information
ISBN: 9788498285628

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

EUR 5.00

VAT Excluded

PDF

E-book

View the Terms of Use

Download

Copy/paste

Printing

Sample page

Sample page