Course Syllabus 2014/2015
 
PDF Extract Anglais
Français
index
Description of UV I9ESSV-F
Option(s) :
Department(s) :
Computer Science
Title :
Formal design of software
UV manager(s) :
HERBRETEAU Frédéric
ECTS credits :
5
Compounding modules :
IF300  Software design - B method
2.50 CR
IF311  Formal design of software
2.50 CR