You are in:: Start > CC4008
Site map
Formal Verification of Software
| Code: | CC4008 | Acronym: | CC4008 | Level: | 400 |
| Keywords | |
|---|---|
| Classification | Keyword |
| OFICIAL | Computer Science |
Instance: 2020/2021 - 2S
| Active? | No |
| Responsible unit: | Department of Computer Science |
| Course/CS Responsible: | Master in Computer Science |
Cycles of Study/Courses
| Acronym | No. of Students | Study Plan | Curricular Years | Credits UCN | Credits ECTS | Contact hours | Total Time |
|---|---|---|---|---|---|---|---|
| MI:ERS | 0 | Plano Oficial desde ano letivo 2014 | 4 | - | 6 | 42 | 162 |
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
I Guest Book
Page created on: 2024-11-08 at 22:52:08 | Acceptable Use Policy | Data Protection Policy | Complaint Portal
Page created on: 2024-11-08 at 22:52:08 | Acceptable Use Policy | Data Protection Policy | Complaint Portal