You are in:: Start > CC524
Site map
Program Semantics, Verification and Construction
| Code: | CC524 | Acronym: | CC524 |
Instance: 2008/2009 - 1S
| Active? | Yes |
| Responsible unit: | Department of Computer Science |
| Course/CS Responsible: | Doctoral Program in Computer Science - MAP joint programme |
Cycles of Study/Courses
| Acronym | No. of Students | Study Plan | Curricular Years | Credits UCN | Credits ECTS | Contact hours | Total Time |
|---|---|---|---|---|---|---|---|
| PDMAPI | 6 | Official Study Plan Doct.Prog. in Computer Science (MAP Joint Programme) | 1 | - | 5 | - |
Copyright 1996-2025 © Faculdade de Ciências da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
I Guest Book
Page created on: 2025-06-17 at 08:40:26 | Acceptable Use Policy | Data Protection Policy | Complaint Portal
Page created on: 2025-06-17 at 08:40:26 | Acceptable Use Policy | Data Protection Policy | Complaint Portal