Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/57345
| Títol: | Formalization and Proofs, february 2010 |
| Autoria: | Clarisó, Robert  |
| Altres: | Universitat Oberta de Catalunya |
| Resum: | Material docent de la Universitat Oberta de Catalunya. |
| Paraules clau: | CIRAX proves formals estratègies de prova recerca |
| Tipus de document: | info:eu-repo/semantics/lecture |
| Data de publicació: | 1-feb-2010 |
| Llicència de publicació: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/  http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
| Apareix a les col·leccions: | Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos |
Arxius per aquest ítem:
| Arxiu | Descripció | Mida | Format | |
|---|---|---|---|---|
| Formalization and Proofs.pdf | Formalization and Proofs | 608,65 kB | Adobe PDF |  Veure/Obrir |
Comparteix:
Google Scholar
Microsoft Academic
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons
