![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/odf6ods-20x22.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| M0_Introduzione.pdf | 2012-09-26 13:14 | 795K | |
| M1_scope.pdf | 2012-09-26 13:14 | 177K | |
| M2_cyclone.pdf | 2012-10-09 10:18 | 336K | |
| M2_type_safety.pdf | 2012-10-09 10:17 | 319K | |
| M3_L1_objectoriented.pdf | 2012-11-06 17:19 | 293K | |
| M3_L2_designpattern.pdf | 2012-11-06 17:20 | 129K | |
| M4_java.pdf | 2012-11-06 17:16 | 328K | |
| M6_DBC_JML.pdf | 2012-12-29 17:05 | 253K | |
| M7_verificaProgrammi.pdf | 2012-12-29 17:06 | 212K | |
| M8_ATM_casestudy.pdf | 2012-12-29 17:07 | 106K | |
| M8_AsmBYAsmeta.pdf | 2012-12-29 17:07 | 535K | |
| U1_introduzione.pdf | 2012-12-29 17:09 | 344K | |
| U3_programtesting.pdf | 2012-12-29 17:09 | 271K | |
| U5_modelBasedtesting.pdf | 2012-12-29 17:09 | 259K | |
| risultati_luglio16.ods | 2016-07-10 16:46 | 22K | |