Software Modeling and Verification / exercices
Créé le :
18 septembre 2025
Mis à jour :
18 septembre 2025
Année académique : 2025-2026
Centre universitaire d'informatique CUI
Directement rattaché au CUI
Expire le : 18 septembre 2026
cours
publié
| Titre | Date de création | Permission | publié | visibilité | Durée | # Vues |
|---|---|---|---|---|---|---|
| Software Modeling and Verification / exercices | jeudi 18 septembre 2025 | unige_restricted | visible | 01h44'59'' | 13 | |
| Software Modeling and Verification / exercices | jeudi 18 septembre 2025 | unige_restricted | visible | 01h44'59'' | 7 | |
| Software Modeling and Verification / exercices | vendredi 19 septembre 2025 | unige_restricted | visible | 01h44'59'' | 8 | |
| Software Modeling and Verification / exercices | vendredi 26 septembre 2025 | unige_restricted | visible | 01h44'59'' | 12 | |
| Software Modeling and Verification / exercices | vendredi 3 octobre 2025 | unige_restricted | visible | 01h44'59'' | 12 | |
| Software Modeling and Verification / exercices | jeudi 16 octobre 2025 | unige_restricted | visible | 01h44'59'' | 0 | |
| Software Modeling and Verification / exercices | jeudi 16 octobre 2025 | unige_restricted | visible | 01h44'59'' | 2 | |
| Software Modeling and Verification / exercices | vendredi 17 octobre 2025 | unige_restricted | visible | 01h44'59'' | 4 | |
| Software Modeling and Verification / exercices | jeudi 11 décembre 2025 | unige_restricted | visible | 01h44'59'' | 0 |