Furia – Modeling Time in Computing

Libro adottato a Politecnico di Milano, a.a. 2026/2027 · 2 canali

«Furia – Modeling Time in Computing» è adottato per Formal Methods For Software Engineering (Uic 540) dal prof. Pierluigi San Pietro (Automation and Control Engineering, Computer Science and Engineering – Politecnico di Milano).

Come lo indica il docente: Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M., Modeling Time in Computing, Springer, Anno edizione: 2012, ISBN: 978-3-642-32332-4 Note: Additional material in temporal logic and automata

ISBN

9783642323324

Chi lo adotta

• Formal Methods For Software Engineering (Uic 540) – Prof. Pierluigi San Pietro (canale unico)Automation and Control Engineering · Laurea triennale · esame facoltativo · 5 CFU
• Formal Methods For Software Engineering (Uic 540) – Prof. Pierluigi San Pietro (canale unico)Computer Science and Engineering · Laurea triennale · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU

Programma e testi di ogni canale

Si studia insieme a

• Christel Baier – Principles of Model Checking