选课选项

MP:X3IA070 Ingénierie logicielle formelle

Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.

自助选课 (Etudiant)
自助选课 (Etudiant)
访客不能访问此课程，请登录。