Libri UniversitariApri il catalogo

Metodi Formali – prof. Alberto Davide Adolfo Momigliano

Informatica - magistrale · Università degli Studi di Milano · esame facoltativo · 6 CFU · canale unico

Testi d'esame di Metodi Formali del prof. Alberto Davide Adolfo Momigliano, canale unico, corso di laurea in Informatica - magistrale (Laurea magistrale (LM-18)), Università degli Studi di Milano, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Benjamin – Logical Foundations; Benjamin – Software Foundations.

Metodi Formali – Prof. Alberto Davide Adolfo Momigliano Canale unico

Corso di laurea: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo

Benjamin – Logical FoundationsVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Benjamin – Software FoundationsVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Esploreremo delle tecniche formali per migliorare l'affidabilità del software, concentrandoci in particolare sulla specifica e dimostrazione di proprietà del software. La particolarità di questa parte è di essere costruita interamente all'interno di Rocq (formerly Coq), uno dei proof assistant (p.a.) più maturi ed usati. Un p.a.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Informatica - magistrale, tutte le materie e i canali ›

Altre materie del prof. Momigliano

Altri esami del ?º anno – Informatica - magistrale

Vedi anche: Prof. Alberto Davide Adolfo Momigliano · Metodi Formali a Statale di Milano (tutti i canali)