Libri UniversitariProf. Agostino Cortesi
Università Ca' Foscari Venezia · Area economica e manageriale · libri consigliati e cosa studiare, a.a. 2026/2027
Libri adottati dal prof. Agostino Cortesi
- Introduction to Static Analysis An Abstract Interpretation… – Software Correctness, Security, And Reliability (Computer Science and Information Technology, 1º anno · 2º semestre · software development and engineering · 6 CFU)
- Schulmeyer – Handbook of Software Quality Assurance – Software Correctness, Security, And Reliability (Computer Science and Information Technology, 1º anno · 2º semestre · software development and engineering · 6 CFU)
- Cousot – Principles of Abstract Interpretation – Software Correctness, Security, And Reliability (Computer Science and Information Technology, 1º anno · 2º semestre · software development and engineering · 6 CFU)
- Ian Sommerville. Software Engineering, Pearson, Decima edizione, 2017 – Ingegneria del Software (Informatica, 3º anno · 1º semestre · tecnologie e scienze dell'informazione · 6 CFU)
- Roger S Pressman, Software Engineering: A Practitioner's Approach, – Ingegneria del Software (Informatica, 3º anno · 1º semestre · tecnologie e scienze dell'informazione · 6 CFU)
- Sinan Si Alhir: Learning UML, O'Reilly, 2003 – Ingegneria del Software (Informatica, 3º anno · 1º semestre · tecnologie e scienze dell'informazione · 6 CFU)
Materie del prof. Agostino Cortesi
Data Programming Canale unico
Corso di laurea: Economia e governance delle organizzazioni pubbliche · Laurea magistrale · 1º anno · 1º semestre · 6 CFU
Apri la scheda ufficiale ›Reti e Sicurezza Informatica Canale unico
Corso di laurea: Economia e governance delle organizzazioni pubbliche · Laurea magistrale · 2º anno · 2º semestre · 6 CFU
Apri la scheda ufficiale ›Software Correctness, Security, And Reliability Canale unico
Corso di laurea: Computer Science and Information Technology · Laurea magistrale · 1º anno · 2º semestre · software development and engineering · 6 CFU
Il docente indica 3 testi · da studiare tutti
Ingegneria del Software Canale unico
Corso di laurea: Informatica · Laurea triennale · 3º anno · 1º semestre · tecnologie e scienze dell'informazione · 6 CFU
Il docente indica 3 testi · da studiare tutti
Domande frequenti
Quali libri consiglia il prof. Agostino Cortesi per Software Correctness, Security, And Reliability?
Introduction to Static Analysis An Abstract Interpretation…; Schulmeyer – Handbook of Software Quality Assurance; Cousot – Principles of Abstract Interpretation
Quali libri consiglia il prof. Agostino Cortesi per Ingegneria del Software?
Ian Sommerville. Software Engineering, Pearson, Decima edizione, 2017; Roger S Pressman, Software Engineering: A Practitioner's Approach,; Sinan Si Alhir: Learning UML, O'Reilly, 2003