Libri UniversitariApri il catalogo

Prof. Davide Bresolin

Università degli Studi di Padova · Dipartimento di Biologia - DiBio · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Davide Bresolin

Materie del prof. Davide Bresolin

Statistica e Biologia Quantitativa 1 Canale unico

Corso di laurea: Biologia – sede di Padova · Laurea triennale (L-13) · 1º anno · annuale · 12 CFU

Padova · Dipartimento di Biologia - DiBio · 12 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Formal Methods For Cyber-Physical Systems Canale unico

Corso di laurea: Computer Science – sede di Padova · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Computer Science – sede di Padova · 1º anno · 1º semestre ›

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Martin Zimmermann – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Principles of cyber-physical systems , Autori: Alur, Rajeev,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Sistemi ciberfisici: definizione e caratteristiche chiave. Modelli formali per sistemi ciberfisici: modelli sincroni e asincroni, a tempo discreto e real-time. Verifica dei sistemi ciberfisici: proprietà di sicurezza e liveness, model checking, algoritmi enumerativi e tecniche simboliche.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Formal Methods For Cyber-Physical Systems Canale unico

Corso di laurea: Cybersecurity – sede di Padova · Laurea magistrale (LM-66) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Cybersecurity – sede di Padova · 2º anno · 1º semestre ›

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Martin Zimmermann – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Principles of cyber-physical systems , Autori: Alur, Rajeev,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Sistemi ciberfisici: definizione e caratteristiche chiave. Modelli formali per sistemi ciberfisici: modelli sincroni e asincroni, a tempo discreto e real-time. Verifica dei sistemi ciberfisici: proprietà di sicurezza e liveness, model checking, algoritmi enumerativi e tecniche simboliche.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Automi e Linguaggi Formali Canale unico

Corso di laurea: Informatica – sede di Padova · Laurea triennale (L-31) · 2º anno · 2º semestre · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Informatica – sede di Padova · 2º anno · 2º semestre ›

Titolo

Autori – Cengage LearningCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Introduzione alla teoria della computazione, Autori: Sipser, Michael,Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: I principali contenuti del corso sono i seguenti: Parte 1: linguaggi regolari -- automi a stati finiti -- espressioni e linguaggi regolari -- pumping lemma -- proprietà dei linguaggi regolari Parte 2: linguaggi liberi da contesto -- grammatiche e linguaggi liberi da contesto -- automi a pila -- proprietà dei linguaggi liberi da contesto Parte 3: indecidibilità e intrattabilità -- macchine di Turing -- indecidibilità…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Formal Methods For Cyber-Physical Systems Canale unico

Corso di laurea: International Cybersecurity and Cyberintelligence – sede di Padova · Laurea magistrale (LM-66) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · International Cybersecurity and Cyberintelligence – sede di Padova · 1º anno · 1º semestre ›

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Martin Zimmermann – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Principles of cyber-physical systems , Autori: Alur, Rajeev,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Sistemi ciberfisici: definizione e caratteristiche chiave. Modelli formali per sistemi ciberfisici: modelli sincroni e asincroni, a tempo discreto e real-time. Verifica dei sistemi ciberfisici: proprietà di sicurezza e liveness, model checking, algoritmi enumerativi e tecniche simboliche.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Davide Bresolin per Formal Methods For Cyber-Physical Systems (Computer Science – sede di Padova, canale unico)?

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,; Martin Zimmermann – Lecture notes

Quali libri consiglia il prof. Davide Bresolin per Formal Methods For Cyber-Physical Systems (Cybersecurity – sede di Padova, canale unico)?

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,; Martin Zimmermann – Lecture notes

Quali libri consiglia il prof. Davide Bresolin per Automi e Linguaggi Formali?

Autori – Cengage Learning; Introduzione alla teoria della computazione, Autori: Sipser, Michael,

Quali libri consiglia il prof. Davide Bresolin per Formal Methods For Cyber-Physical Systems (International Cybersecurity and Cyberintelligence – sede di Padova, canale unico)?

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,; Martin Zimmermann – Lecture notes