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:
Google Scholar
Microsoft Academic
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
