Prof. Fabio Gadducci

Università di Pisa · Dipartimento di Informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Fabio Gadducci

Christel Baier and Joost-Pieter Katoen – Software Verification: Principles And Techniques (Informatica – sede di Pisa, 2º anno · 1º semestre · Foundations of Software · 9 CFU)
Roberto Bruni and Ugo Montanari – Linguaggi di Programmazione con Laboratorio (Matematica – sede di Pisa, 3º anno · 1º semestre · Computazionale · 9 CFU)

Materie del prof. Fabio Gadducci

Software Verification: Principles And Techniques Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · 2º anno · 1º semestre · Foundations of Software · 9 CFU / 1º anno · 1º semestre · Ict Solutions Architect · 9 CFU

Pisa · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Pisa · 2º anno · 1º semestre ›

Il docente indica 1 testo

Christel Baier and Joost-Pieter Katoen Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Specifica delle proprietà del software Asserzioni Proprietà degli invarianti, safety e liveness, fairness Model Cheking di Proprietà Linear Time Sistemi di transizione e grafi del programma Controllo delle proprietà di safety regolari Controllo delle proprietà omega-regolari con gli automi di Büchi Logiche Linear Time Forme normali positive Fairness Model checking di formule LTL Logiche Computational Tree Model…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Linguaggi di Programmazione con Laboratorio Canale unico

Corso di laurea: Matematica – sede di Pisa · Laurea triennale (L-35) · 3º anno · 1º semestre · Computazionale · 9 CFU

Pisa · Dipartimento di Matematica · 9 CFU · apri nel catalogo · Matematica – sede di Pisa · 3º anno · 1º semestre ›

Il docente indica 1 testo

Roberto Bruni and Ugo Montanari Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Fabio Gadducci per Software Verification: Principles And Techniques?

Christel Baier and Joost-Pieter Katoen

Quali libri consiglia il prof. Fabio Gadducci per Linguaggi di Programmazione con Laboratorio?

Roberto Bruni and Ugo Montanari