Libri UniversitariIntroduction to Static Analysis An Abstract Interpretation…
Libro adottato a Ca' Foscari, a.a. 2026/2027 · 1 canale
«Introduction to Static Analysis An Abstract Interpretation…» è adottato per Software Correctness, Security, And Reliability dal prof. Agostino Cortesi (Computer Science and Information Technology – Ca' Foscari).
Introduction to Static Analysis An Abstract Interpretation…Cerca su Amazon ›
Come lo indica il docente: Xavier Rival and Kwangkeun Yi, "Introduction to Static Analysis An Abstract Interpretation Perspective", MIT Press, 2020, ISBN: 9780262043410
- ISBN
- 9780262043410
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…questo libroCerca 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 InterpretationCerca 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.