Libri UniversitariModelling and Reasoning about Systems
Libro adottato a Bologna, a.a. 2026/2027 · 1 canale
«Modelling and Reasoning about Systems» è adottato per Ingegneria del Software e Modelli Computazionali dai docenti Mirko Viroli, Danilo Pianini, Gianluca Aguzzi e Mario Bravetti (Ingegneria e scienze informatiche – sede di Cesena – Bologna).
Modelling and Reasoning about SystemsCerca su Amazon ›
Come lo indica il docente: Modelling and Reasoning about Systems", second edition. Cambridge University Press, 2004
Chi lo adotta
- Ingegneria del Software e Modelli Computazionali – Prof. Mirko Viroli, Prof. Danilo Pianini, Prof. Gianluca Aguzzi, Prof. Mario Bravetti (canale unico)Ingegneria e scienze informatiche – sede di Cesena · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU
Programma e testi di ogni canale
Ingegneria del Software e Modelli Computazionali – Prof. Mirko Viroli, Prof. Danilo Pianini, Prof. Gianluca Aguzzi, Prof. Mario Bravetti Canale unico
Corso di laurea: Ingegneria e scienze informatiche – sede di Cesena · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU
Il docente indica 3 testi · da studiare tutti
Hopcroft – Automi, Linguaggi e CalcolabilitàCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Modelling and Reasoning about Systemsquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.