Corrección de algoritmos complejos : verificación formal /
Guardat en:
Autor principal: | |
---|---|
Altres autors: | |
Format: | eBook |
Idioma: | Spanish |
Publicat: |
Cádiz :
Universidad de Cádiz,
2017.
|
Periòdiques: | Universidad de Cádiz. Ingenierías y arquitectura.
|
Matèries: | |
Accés en línia: | Click to View |
Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|