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