Patrick Cousot & Radhia Cousot

Libro adottato a Udine, a.a. 2025/2026 · 1 canale

«Patrick Cousot & Radhia Cousot» è adottato per Interpretazione Astratta per la Sicurezza Informatica dal prof. Marco Comini (Informatica – sede di Udine, Sede di UDINE – Udine).

Patrick Cousot & Radhia CousotCerca su Amazon ›

Come lo indica il docente: Patrick Cousot & Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2–3):103–179, 1992 * G. Winskel. The Formal Semantics of Programming Languages , The MIT Press, 1993, ISBN: 978-0-262-73103-4

ISBN: 9780262731034

Chi lo adotta

Interpretazione Astratta per la Sicurezza Informatica – Prof. Marco Comini (canale unico) a.a. 2025/2026Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Programma e testi di ogni canale

Interpretazione Astratta per la Sicurezza Informatica – Prof. Marco Comini Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Libri consigliati nell'a.a. 2025/2026

Patrick Cousot & Radhia Cousotquesto 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.