Riis Nielson – Electronic version freely available
Libro adottato a Padova, a.a. 2026/2027 · 3 canali
«Riis Nielson – Electronic version freely available» è adottato per Software Verification dal prof. Francesco Ranzato (Computer Science – sede di Padova, Cybersecurity – sede di Padova, International Cybersecurity and Cyberintelligence – sede di Padova – Padova).
Come lo indica il docente: Semantics with Applications: A Formal Introduction, Autori: H. Riis Nielson, F. Nielson, Anno: 1992, Editore: Wiley, Note: Electronic version freely available
Software Verification – Prof. Francesco Ranzato (canale unico)International Cybersecurity and Cyberintelligence – sede di Padova · Laurea magistrale (LM-66) · esame facoltativo · 6 CFU
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…
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…
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…
Libri Universitari