Prof. Salvatore La Torre

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

Libri adottati dal prof. Salvatore La Torre

Cay – CONCETTI DI INFORMATICA E FONDAMENTI DI JAVA – Programmazione Object Oriented (Informatica – sede di Fisciano, 2º anno · 1º semestre · 9 CFU)
Springer – ISBN 978-1-84628-769-5 – Tecniche Automatiche per la Correttezza del Software (Informatica – sede di Fisciano, esame facoltativo · 6 CFU)

Materie del prof. Salvatore La Torre

Programmazione Object Oriented Canale resto 0

Corso di laurea: Informatica – sede di Fisciano · Laurea triennale (L-31) · 2º anno · 1º semestre · 9 CFU

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

Il docente indica 1 testo

Cay – CONCETTI DI INFORMATICA E FONDAMENTI DI JAVA Cerca 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: DOPO UNA INTRODUZIONE ALLA PROGRAMMAZIONE ORIENTATA AGLI OGGETTI, EVIDENZIANDO ANCHE LE DIFFERENZE PRINCIPALI CON ALTRI APPROCCI (PER ESEMPIO QUELLO PROCEDURALE), IL CORSO SI CONCENTRERÀ SUI SEGUENTI ARGOMENTI: •LA PROGRAMMAZIONE ORIENTATA AGLI OGGETTI E CONCETTI DI ASTRAZIONE DEI DATI E DI INCAPSULAMENTO (2 ORE DI TEORIA) •INTRODUZIONE A JAVA E AL PROCESSO DI COMPILAZIONE (2 ORE DI TEORIA, 1 ORA LABORATORIO)…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Tecniche Automatiche per la Correttezza del Software 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 ›

Il docente indica 1 testo

Springer – ISBN 978-1-84628-769-5 Cerca 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.

Domande frequenti

Quali libri consiglia il prof. Salvatore La Torre per Programmazione Object Oriented?

Cay – CONCETTI DI INFORMATICA E FONDAMENTI DI JAVA

Quali libri consiglia il prof. Salvatore La Torre per Tecniche Automatiche per la Correttezza del Software?

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