Libri UniversitariApri il catalogo

Prof. Riccardo Sisto

Politecnico di Torino · Dipartimento di Automatica e Informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Riccardo Sisto

Materie del prof. Riccardo Sisto

Security Verification And Testing Canale unico

Corso di laurea: Cybersecurity Engineering · Laurea magistrale (LM-32) · 2º anno · 1º semestre · Cyber Analyst · 8 CFU

Politecnico di Torino · Dipartimento di Automatica e Informatica · 8 CFU · apri nel catalogo

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

Bacheca del docente: cosa indica di studiare
  • The teachers will provide the material (copy of slides and links to online resources) on the course website.

Argomenti del programma: General concepts and practice for security assessment (1CFU) - Definition and classification of security assessment techniques (e.g., static vs dynamic, white box vs black box, vulnerability assessment, penetration testing, formal verification, ethical hacking) - Security assessment and certification standards.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Formal Languages And Compilers Canale unico

Corso di laurea: Ingegneria Informatica (Computer Engineering) · Laurea magistrale (LM-32) · 1º anno · annuale · Software · 6 CFU

Politecnico di Torino · Dipartimento di Automatica e Informatica · 6 CFU · apri nel catalogo · Ingegneria Informatica (Computer Engineering) · 1º anno ›

Books

Hopcroft – Introduction to Automata TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Aho – And ToolsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Materials available on the teaching Web site

Argomenti del programma: Formal Languages (15 hours): - Classification - Regular languages (Regular grammars, Regular expressions, Finite state automata) - Context-free languages (Context-free grammars, Pushdown automata, LR(k) grammars, LL(k) grammars) - Turing machines Compilers (45 hours): - Compiler structure - Lexical analysis - Syntax analysis (Bottom-up analysis, Top-down analysis) - Syntax-directed translation (Attribute…

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. Riccardo Sisto per Formal Languages And Compilers?

Hopcroft – Introduction to Automata Theory; Aho – And Tools