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

eBook PDF (1,19 Mb)

Nur mit Adobe Acrobat Reader kompatibel (lesen Sie mehr)

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.

Informationen
ISBN: 9788498285642

Permalink: https://digital.casalini.it/9788498285642
THEMENBEREICHE
- Mathematik
- Mathematics

EUR 5,00

MwSt ausgenomen

PDF

Erlaubte Funktionen anzeigen

Herunterladen

Kopieren/Einfügen

Drucken

Probeseite

Probeseite