This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more
DISIM
Department of Information Engineering, Computer Science and Mathematics
University of L'Aquila
Teaching
it Italian version
Google
Browse the Department site:
Browse the Teaching site:
DISIM Teaching Information Engineering News
Attenzione: questa notizia era valida fino al 23/07/2019. Attualmente è archiviata, quindi il suo contenuto potrebbe non essere più valido

News Details

Formal Methods: results 15/07/2019

17/07/2019 pubblicata da Monica Nesi Didactics Course: Formal Methods

The results of the written exam of Formal Methods that took place on July 15th are in attachment. Students are invited to have a look at the correction of their papers on Thursday, July 18th (10.00-12.00) or by appointment.

The oral exams can be taken on Thursday 18th (afternoon), Friday 19th or Monday 22nd, or in the next exam session in September. 

Attachments...