Prof. Luca Tesei

Università degli Studi di Camerino · Scuola di Scienze e Tecnologie · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Luca Tesei

Christel Baier – Principles of Model Checking – Fundamentals Of System Verification (Computer Science – sede di Camerino, 1º anno · 2º semestre · Software Development and Technologies · 6 CFU)
Alfred – Ravi Sethi – Linguaggi e Compilatori (Informatica – sede di Camerino, 3º anno · 1º semestre · 6 CFU)

Materie del prof. Luca Tesei

Fundamentals Of System Verification Canale unico

Corso di laurea: Computer Science – sede di Camerino · Laurea magistrale (LM-18) · 1º anno · 2º semestre · Software Development and Technologies · 6 CFU / esame facoltativo · 6 CFU

Camerino · Scuola di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Computer Science – sede di Camerino · 1º anno · 2º semestre ›

Il docente indica 1 testo

Christel Baier – Principles of Model Checking Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato 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.

Linguaggi e Compilatori Canale unico

Corso di laurea: Informatica – sede di Camerino · Laurea triennale (L-31) · 3º anno · 1º semestre · 6 CFU

Camerino · Scuola di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica – sede di Camerino · 3º anno · 1º semestre ›

Il docente indica 1 testo

Alfred – Ravi Sethi Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione Architettura generale dei compilatori. Evoluzione e categorizzazione dei linguaggi di programmazione. Analisi lessicale Token, pattern, lessemi. Espressioni regolari e automi a stati finiti (DFA, NFA) e relative trasformazioni. Minimizzazione DFA e riconoscimento di token. Analisi sintattica Grammatiche libere dal contesto e push-down automata. Alberi di derivazione e ambiguità.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Linguaggi e Compilatori Canale unico

Corso di laurea: Informatica per la Comunicazione Digitale – sede di Camerino · Laurea triennale (L-31) · esame facoltativo · 6 CFU

Camerino · Scuola di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica per la Comunicazione Digitale – sede di Camerino · 3º anno · 1º semestre ›

Il docente indica 1 testo

Alfred – Ravi Sethi Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

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. Luca Tesei per Fundamentals Of System Verification?

Christel Baier – Principles of Model Checking

Quali libri consiglia il prof. Luca Tesei per Linguaggi e Compilatori (Informatica – sede di Camerino, canale unico)?

Alfred – Ravi Sethi

Quali libri consiglia il prof. Luca Tesei per Linguaggi e Compilatori (Informatica per la Comunicazione Digitale – sede di Camerino, canale unico)?

Alfred – Ravi Sethi