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 News
Attenzione: questa notizia era valida fino al 05/04/2019. Attualmente è archiviata, quindi il suo contenuto potrebbe non essere più valido

News Details

Formal Methods: lecture on April 3rd

01/04/2019 pubblicata da Monica Nesi Computer Science Didactics Course: Formal Methods

Besides the usual lectures fixed by the timetable, this week there will be a lecture of Formal Methods (Prof. Nesi) also on Wednesday 3rd April, 14.30-17.30, room C1.12 (Coppito 2).