A. I. Cuza University of IaşiSystem Specification and Verification
| Course name | System Specification and Verification | Code | MSD1207 |
| Class | Master of Distributed Systems, 2009 - 2011 | ||||||
| Level | Master | Year | 1 | Semester | 2 | Status | Compulsory |
| Hours per week | Total hours per semester | Total hours of individual work | Credits | Evaluation type | Teaching language | |||
| C | S | L | Pr | |||||
| 2 | 0 | 2 | 0 | 56 | 8 | E | ro | |
| Taught by | Academic and scientific title, name |
|
Professor, PhD,
Cristian Masalagiu
|
| Required courses |
| Objectives | |
| General thematics | |
| Seminary / Laboratory thematics | |
| Teaching methods |
| Bibliography |
| Evaluation | conditions | |
| criterias | ||
| modes | ||
| formula |