Libri UniversitariApri il catalogo

Libri di Tecniche Automatiche per la Correttezza del Software – prof. Salvatore La Torre

Informatica – sede di Fisciano · Università degli Studi di Salerno · esame facoltativo · 6 CFU · canale unico

Libri del canale

Tecniche Automatiche per la Correttezza del Software 6 CFU

STProf. Salvatore La Torre Canale unico
Springer – ISBN 978-1-84628-769-5Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: INTRODUZIONE, CORRETTEZZA DEI PROGRAMMI, SPECIFICHE E CONCETTO DI ERRORE, STRUMENTI PER VERIFICARE LA CORRETTEZZA DEL SOFTWARE, CENNI SUL TESTING (4 ORE) LA TECNOLOGIA DEL MODEL-CHECKING, CONCETTI DI BASE (2 ORE) FONDAMENTI: AUTOMI, LOGICA TEMPORALE, COMPLESSITÀ COMPUTAZIONALE (8 ORE) MODEL-CHECKING ESPLICITO (4 ORE) MODEL-CHECKING SIMBOLICO (4 ORE) BOUNDED MODEL-CHECKING (4 ORE) MODEL-CHECKING CON AUTOMI PUSHDOWN…

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

Apri nel catalogo: Informatica – sede di Fisciano, 1º anno, tutte le materie e i canali ›

Testi d'esame di Tecniche Automatiche per la Correttezza del Software del prof. Salvatore La Torre, canale unico, corso di laurea in Informatica – sede di Fisciano (Laurea magistrale (LM-18)), Università degli Studi di Salerno, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Springer – ISBN 978-1-84628-769-5.

Altre materie del prof. La Torre

Vedi anche: Prof. Salvatore La Torre · Tecniche Automatiche per la Correttezza del Software a Salerno (tutti i canali)