Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/57345
Título : | Formalization and Proofs, february 2010 |
Autoría: | Clarisó, Robert |
Otros: | Universitat Oberta de Catalunya |
Resumen : | Material docente de la "Universitat Oberta de Catalunya". |
Palabras clave : | pruebas formales estrategias de prueba investigación |
Tipo de documento: | info:eu-repo/semantics/lecture |
Fecha de publicación : | 1-feb-2010 |
Licencia de publicación: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Aparece en las colecciones: | Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Formalization and Proofs.pdf | Formalization and Proofs | 608,65 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons