Libri UniversitariFormal Methods For Software Engineering (Uic 540) – Politecnico di Milano
Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · tutti i canali con docenti e libri, a.a. 2026/2027
Prof. Pierluigi San Pietro Canale unico
Corso di laurea: Automation and Control Engineering · Laurea triennale · esame facoltativo · 5 CFU
Il docente indica 2 testi · da studiare tutti
Christel Baier – Principles of Model CheckingCerca su Amazon ›Verificato 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.
Prof. Pierluigi San Pietro Canale unico
Corso di laurea: Computer Science and Engineering · Laurea triennale · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU
Il docente indica 2 testi · da studiare tutti
Christel Baier – Principles of Model CheckingCerca su Amazon ›Verificato 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.