Libri UniversitariCousot – Principles of Abstract Interpretation
Libro adottato a Ca' Foscari, a.a. 2026/2027 · 1 canale
«Cousot – Principles of Abstract Interpretation» è adottato per Software Correctness, Security, And Reliability dal prof. Agostino Cortesi (Computer Science and Information Technology – Ca' Foscari).
Cousot – Principles of Abstract InterpretationCerca su Amazon ›
Come lo indica il docente: P.Cousot, "Principles of Abstract Interpretation, MIT Press, 2021
- Titolo
- Principles of abstract interpretation
- Autori
- Patrick <1948- > Patrick Cousot Cousot
- Editore
- MIT Press, 2021
- ISBN
- 9780262044905
Chi lo adotta
- Software Correctness, Security, And Reliability – Prof. Agostino Cortesi (canale unico)Computer Science and Information Technology · Laurea magistrale · 1º anno · 2º semestre · software development and engineering · 6 CFU
Programma e testi di ogni canale
Software Correctness, Security, And Reliability – Prof. Agostino Cortesi 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
Introduction to Static Analysis An Abstract Interpretation…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Schulmeyer – Handbook of Software Quality AssuranceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Cousot – Principles of Abstract Interpretationquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Apri la scheda ufficiale ›Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.