Computer Aided Verification

Persone

Docente titolare del corso

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

Semestre

Autunnale

Anno accademico

2026-2027

ECTS

6.0

Lingua

Inglese

Università della
Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 40 00
e-mail info@usi.ch
Altri contatti
Feedback sul sito