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)

Consultabile solo con Adobe Acrobat Reader (scopri come)

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.

Informazioni
ISBN: 9788498285642

Permalink: https://digital.casalini.it/9788498285642
MATERIE
- Matematica
- Mathematics

EUR 5,00

Iva esclusa

PDF

Leggi le condizioni d'uso

Download

Copia/incolla

Stampa

Pagina campione

Pagina campione