Libri UniversitariSoftware Correctness, Security, And Reliability – prof. Agostino Cortesi
Computer Science and Information Technology · Università Ca' Foscari Venezia · 1º anno · 2º semestre · software development and engineering · 6 CFU · canale unico
Libri del canale
Software Correctness, Security, And Reliability 6 CFU
Il docente indica 3 testi · da studiare tutti
Introduction to Static Analysis An Abstract Interpretation…Verificato sulla scheda ufficiale il 03/10/2026
Schulmeyer – Handbook of Software Quality AssuranceVerificato sulla scheda ufficiale il 03/10/2026
Cousot – Principles of Abstract InterpretationVerificato sulla scheda ufficiale il 03/10/2026
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Testi d'esame di Software Correctness, Security, And Reliability del prof. Agostino Cortesi, canale unico, corso di laurea in Computer Science and Information Technology (Laurea magistrale), Università Ca' Foscari Venezia, 1º anno · 2º semestre · software development and engineering · 6 CFU, a.a. 2026/2027. Libri adottati: Introduction to Static Analysis An Abstract Interpretation…; Schulmeyer – Handbook of Software Quality Assurance; Cousot – Principles of Abstract Interpretation.
Altre materie del prof. Cortesi
- Ingegneria del Software · Informatica · 3º anno · 1º semestre · tecnologie e scienze dell'informazione · 6 CFU