Libri UniversitariFormal Methods For Software Engineering (Uic 540) – prof. Pierluigi San Pietro
Automation and Control Engineering · Politecnico di Milano · esame facoltativo · 5 CFU · canale unico
Libri del canale
Formal Methods For Software Engineering (Uic 540) 5 CFU
Il docente indica 2 testi · da studiare tutti
Christel Baier – Principles of Model CheckingVerificato sulla scheda ufficiale il 03/10/2026
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Apri nel catalogo: Automation and Control Engineering, tutte le materie e i canali ›
Testi d'esame di Formal Methods For Software Engineering (Uic 540) del prof. Pierluigi San Pietro, canale unico, corso di laurea in Automation and Control Engineering (Laurea triennale), Politecnico di Milano, esame facoltativo · 5 CFU, a.a. 2026/2027. Libri adottati: Christel Baier – Principles of Model Checking; Furia – Modeling Time in Computing.
Altre materie del prof. Pietro
- Formal Methods For Software Engineering (Uic 540) · Computer Science and Engineering · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU
- Ingegneria del Software · Ingegneria Informatica · 3º anno · 2º semestre · Ingegneria Informatica Online · 10 CFU
- Ingegneria del Software · Music and Acoustic Engineering · esame facoltativo · 5 CFU