Computer Aided Verification
Persone
Docente titolare del corso
Programma
- Master of Science in Artificial Intelligence, Lezione e laboratorio, A scelta, 1° anno
- Master of Science in Artificial Intelligence, Lezione e laboratorio, A scelta, 2° anno
- Master of Science in Informatics, Lezione e laboratorio, Computer Systems, A scelta, 1° anno
- Master of Science in Informatics, Lezione e laboratorio, Computer Systems, A scelta, 2° anno
- Master of Science in Informatics, Lezione e laboratorio, Software Development, A scelta, 1° anno
- Master of Science in Informatics, Lezione e laboratorio, Software Development, A scelta, 2° anno
- Master of Science in Informatics, Lezione e laboratorio, Theory and Algorithms, A scelta, 1° anno
- Master of Science in Informatics, Lezione e laboratorio, Theory and Algorithms, A scelta, 2° anno