Media Manager
Namespaces
Choose namespace
Media Files
Files in didattica:magistrale:spm:ay_1617
- activity.pdf
- 2020/09/17 16:55
- 99.7 KB
- costs.pdf
- 2020/09/17 16:55
- 256.2 KB
- cycle.pdf
- 2020/09/17 16:55
- 577.7 KB
- ex.pdf
- 2020/09/17 16:55
- 46.5 KB
- expert.pdf
- 2020/09/17 16:55
- 81.6 KB
- intro2agile.pdf
- 2020/09/17 16:55
- 108.9 KB
- introduction.pdf
- 2020/09/17 16:55
- 78.4 KB
- main.pdf
- 2020/09/17 16:55
- 991.1 KB
- monitoring.pdf
- 2020/09/17 16:55
- 1.1 MB
- people.pdf
- 2020/09/17 16:55
- 101.8 KB
- resources.pdf
- 2020/09/17 16:55
- 175.9 KB
- riskmgmt.pdf
- 2020/09/17 16:55
- 445 KB
- scrum.pdf
- 2020/09/17 16:55
- 602.1 KB
File
didattica:magistrale:svl:ay_2021:4-5_soft_-_ltl_general_picture_of_automata-based_model_checking.pdf
- Date:
- 2021/04/23 12:54
- Filename:
- 4-5_soft_-_ltl_general_picture_of_automata-based_model_checking.pdf
- Size:
- 2MB
- References for:
- ay_2021