![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| M0_Introduzione.pdf | 2010-09-22 16:45 | 831K | |
| M1_scope.pdf | 2010-09-22 16:46 | 156K | |
| M2_type_safety.pdf | 2010-09-29 14:15 | 290K | |
| M3_L1_objectoriented.pdf | 2010-10-13 17:36 | 247K | |
| M4_java.pdf | 2010-10-15 10:17 | 365K | |
| M6_DBC_JML.pdf | 2010-11-25 18:34 | 212K | |
| M7_verificaProgrammi.pdf | 2010-11-25 18:34 | 153K | |
| U1_introduzione.pdf | 2010-12-15 11:34 | 370K | |
| U2_fondamentiTeorici.pdf | 2010-12-15 11:34 | 146K | |
| U3_programtesting.pdf | 2010-12-15 11:29 | 218K | |
| U4_JUnit.pdf | 2010-12-15 11:33 | 97K | |
| U5_modelBasedtesting.pdf | 2010-12-15 11:34 | 336K | |