Orario di ricevimento: tramite Google Meet o Zoom, da prenotare per email (melatti@uniroma1.it)
Formal Methods in Software Development (Master Degree in Computer Science)
Course site (in progress):
https://twiki.di.uniroma1.it/twiki/view/MFS/FormalMethodsInSoftwareDevelopment20212022
Student are kindly requested to join the classroom FMSD, code w6zmvie
(use your Sapienza account @studenti.uniroma1.it
).
There, you can find also the Meet address to follow lessons on-line.
Class schedule:
Room G0 – viale Regina Elena 295, Edificio G (RM115), Wednesday 1-4pm (prof. Salvo)
Room G50 – viale Regina Elena 295, Edificio G (RM115), Monday 2-4pm.
On line lessons: You can find the Meet address in the classroom FMSD.
Sistemi Operativi I Modulo (laurea in Informatica)
Per le lezioni in presenza, l'orario è lunedì (16-18) e mercoledì (13-16) in aula 3L di via del Castro Laurenziano
Per accedere alle lezioni da remoto sulla piattaforma Zoom, è necessario iscriversi al link http://151.100.17.205/iscrizione/corso.php?id_corso=15
Per tutte le informazioni su Sistemi Operativi modulo 1, consultare il sito del corso: https://twiki.di.uniroma1.it/twiki/view/SO/SO1213AL/SistemiOperativi12CF...
Per tutte le informazioni su Sistemi Operativi modulo 2, consultare il sito del corso: https://twiki.di.uniroma1.it/twiki/view/SO/SO1213AL/SistemiOperativi12CF...
Insegnamento | Codice | Anno | Corso - Frequentare | Bacheca |
---|---|---|---|---|
FORMAL METHODS IN SOFTWARE DEVELOPMENT | 1047626 | 2021/2022 | ||
SISTEMI OPERATIVI | 1020422 | 2021/2022 | ||
SISTEMI OPERATIVI | 1020422 | 2021/2022 | ||
FORMAL METHODS IN SOFTWARE DEVELOPMENT | 1047626 | 2020/2021 | ||
SISTEMI OPERATIVI | 1020422 | 2020/2021 | ||
SISTEMI OPERATIVI | 1020422 | 2020/2021 | ||
FORMAL METHODS IN SOFTWARE DEVELOPMENT | 1047626 | 2019/2020 | ||
SISTEMI OPERATIVI | 1020422 | 2019/2020 | ||
SISTEMI OPERATIVI | 1020422 | 2019/2020 | ||
FORMAL METHODS IN SOFTWARE DEVELOPMENT | 1047626 | 2018/2019 | ||
SISTEMI OPERATIVI | 1020422 | 2018/2019 | ||
SISTEMI OPERATIVI | 1020422 | 2018/2019 | ||
SISTEMI OPERATIVI | 1020422 | 2017/2018 | ||
SISTEMI OPERATIVI | 1020422 | 2017/2018 | ||
PROGRAMMAZIONE PER IL WEB | 1022267 | 2016/2017 | ||
SISTEMI OPERATIVI | 1020422 | 2016/2017 | ||
FONDAMENTI DI PROGRAMMAZIONE | 1015883 | 2016/2017 | ||
SISTEMI OPERATIVI | 1020422 | 2016/2017 | ||
FONDAMENTI DI PROGRAMMAZIONE | 1015883 | 2016/2017 | ||
PROGRAMMAZIONE PER IL WEB | 1022267 | 2016/2017 |