Libri UniversitariFormal Methods For Software Engineering (Uic 540) – prof. Pierluigi San Pietro
Computer Science and Engineering · Politecnico di Milano · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 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: Computer Science and 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 Computer Science and Engineering (Laurea triennale), Politecnico di Milano, esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 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) · Automation and Control Engineering · esame facoltativo · 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