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)

Consultabile solo con Adobe Acrobat Reader (scopri come)

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.

Informazioni
ISBN: 9788498285628

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

EUR 5,00

Iva esclusa

PDF

Leggi le condizioni d'uso

Download

Copia/incolla

Stampa

Pagina campione

Pagina campione