Libri UniversitariApri il catalogo

Springer – ISBN 978-1-84628-769-5

Libro adottato a Salerno, a.a. 2026/2027 · 1 canale

«Springer – ISBN 978-1-84628-769-5» è adottato per Tecniche Automatiche per la Correttezza del Software dal prof. Salvatore La Torre (Informatica – sede di Fisciano – Salerno).

Springer – ISBN 978-1-84628-769-5Cerca su Amazon ›

Come lo indica il docente: SPRINGER, ISBN 978-1-84628-769-5

ISBN
9781846287695

Chi lo adotta

Programma e testi di ogni canale

Tecniche Automatiche per la Correttezza del Software – Prof. Salvatore La Torre Canale unico

Corso di laurea: Informatica – sede di Fisciano · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Salerno · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Informatica – sede di Fisciano · 1º anno · 1º semestre ›

Springer – ISBN 978-1-84628-769-5questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
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.