Formal Methods for AI-based Systems Engineering
Sistemi Operativi II Modulo (canale A-L e Unitelma)
Appello *straordinario* del 10/04/2025: ore 10:00, laboratorio Colossus, via Salaria 113, Roma.
Appelli ordinari:
- 09/06/2025
- 10/07/2025
- 04/09/2025
Ricevimento
Su appuntamento via email.