Differences

This shows you the differences between two versions of the page.

--- didattica:magistrale:ias:ay_1819:main [2018/09/19 12:33]
luca
+++ didattica:magistrale:ias:ay_1819:main [2020/09/17 16:55] (current)
@@ Line 9: / Line 9: @@
   * [[didattica:magistrale:svl:ay_1819:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester
   * [[didattica:magistrale:lcp:ay_1819:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester
-**IAS Selection - Group II** (6 CFU to be selected among the following ones):
+**IAS Selection - Group II** (6 ECTS to be selected among the following ones):
-  * [[didattica:magistrale:qns:ay_1819:main|Queuing Networks: Simulation]] (6 ECTS)
-  * [[didattica:magistrale:ds:ay_1819:main|Distributed Systems]] (6 ECTS)
   * [[didattica:magistrale:com:ay_1819:main|Compilers]] (6 ECTS) - 1st Semester
+  * [[didattica:magistrale:qns:ay_1819:main|Queueing Networks: Simulation]] (6 ECTS) - 2nd Semester
+  * [[didattica:magistrale:ds:ay_1819:main|Distributed Systems]] (6 ECTS) - 2nd Semester
 </WRAP>
-**2nd year** (students enrolled in 2017-2018)
+**2nd year** (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum)
 <WRAP center round box 95%>
 **Compulsory Exams - Group I** (12 ECTS):
-  * [[didattica:magistrale:com:ay_1819:main|Compilers (substitutes Formal Languages and Compilers]] (6 ECTS) - 1st Semester
+  * [[didattica:magistrale:com:ay_1819:main|Compilers (substitutes Formal Languages and Compilers)]] (6 ECTS) - 1st Semester
   * [[didattica:magistrale:ml:ay_1819:main|Machine Learning (substitutes Big Data Analytics)]] (6 ECTS) - 1st Semester
 </WRAP>