Libri UniversitariApri il catalogo

Software Verification – Padova

Università degli Studi di Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Francesco Ranzato 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 ›

Titolo

Riis Nielson – Electronic version freely availableCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Autori – The Essence of KnowledgeCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Riis Nielson – Electronic version freely availableCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Autori – The Essence of KnowledgeCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Semantica dei programmi: Modellazione del comportamento (in particolare il comportamento input/output) dei programmi mediante la teoria dell'ordinamento e dei punti fissi. (cf. https://en.wikipedia.org/wiki/Semantics_(computer_science) ) - Analisi statica e verifica di programmi mediante interpretazione astratta: L'interpretazione astratta è una notoria tecnica basata su una approssimazione della semantica dei…

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

Prof. Francesco Ranzato 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 ›

Titolo

Riis Nielson – Electronic version freely availableCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Autori – The Essence of KnowledgeCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Riis Nielson – Electronic version freely availableCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Autori – The Essence of KnowledgeCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Semantica dei programmi: Modellazione del comportamento (in particolare il comportamento input/output) dei programmi mediante la teoria dell'ordinamento e dei punti fissi. (cf. https://en.wikipedia.org/wiki/Semantics_(computer_science) ) - Analisi statica e verifica di programmi mediante interpretazione astratta: L'interpretazione astratta è una notoria tecnica basata su una approssimazione della semantica dei…

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

Prof. Francesco Ranzato 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 ›

Titolo

Riis Nielson – Electronic version freely availableCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Autori – The Essence of KnowledgeCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Semantica dei programmi: Modellazione del comportamento (in particolare il comportamento input/output) dei programmi mediante la teoria dell'ordinamento e dei punti fissi. (cf. https://en.wikipedia.org/wiki/Semantics_(computer_science) ) - Analisi statica e verifica di programmi mediante interpretazione astratta: L'interpretazione astratta è una notoria tecnica basata su una approssimazione della semantica dei…

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