Libri UniversitariApri il catalogo

Barbuti – Semantica Operazionale

Libro adottato a L'Aquila, a.a. 2026/2027 · 1 canale

«Barbuti – Semantica Operazionale» è adottato per Fondamenti di Programmazione con Laboratorio dai docenti Antinisca Di Marco e Monica Nesi (Informatica – sede di L'Aquila – L'Aquila).

Barbuti – Semantica OperazionaleCerca su Amazon ›

Come lo indica il docente: R. Barbuti, P. Mancarella e F. Turini, Elementi di Semantica Operazionale. 2004/2005. https://informatica.di.univaq.it/getres.php?resid=1171 Le parti della dispensa che devono essere studiate vanno dall'inizio fino a Sezione 5.4 inclusa . Queste note rivisitano la versione precedente "Semantica Operazionale". Gli studenti possono scegliere una delle due versioni

Chi lo adotta

Programma e testi di ogni canale

Fondamenti di Programmazione con Laboratorio – Prof. Antinisca Di Marco, Prof. Monica Nesi Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea triennale (L-31) · 1º anno · 1º semestre · 12 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 12 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 1º anno · 1º semestre ›

Barbuti – Elementi di Sintassi dei Linguaggi di ProgrammazioneCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Cioè da pagina 19; Cioè fino a pagina 40Verificato sulla scheda ufficiale il 03/10/2026
Barbuti – Semantica Operazionalequesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Cioè fino a pagina 48Verificato sulla scheda ufficiale il 03/10/2026
M. AutiliCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: P. Inverardi, Semantica Operazionale di +/- Java - 03 Dicembre 2010. http://informatica.di.univaq.it/getres.php?resid=1053 Questa versione (3 dicembre 2010) rivisita la versione del 10 gennaio 2010. Questa versione deve essere considerata come la versione ufficiale da adottare e tutti i suoi contenuti fanno parte del programma del corsoVerificato sulla scheda ufficiale il 03/10/2026
Bertacca – Programmare in JavaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cay Horstmann – Concetti di informatica e fondamenti di JAVACerca 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: ------------------------------------------------------------ Modulo: F0053 - FONDAMENTI DI PROGRAMMAZIONE ------------------------------------------------------------ - Sintassi dei Linguaggi di Programmazione: Grammatiche Libere dal Contesto, Alberi di Derivazione, Ambiguità. - Semantica dei Linguaggi di Programmazione: Sistemi di Transizione. Rappresentazione e semantica dei numeri.

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

Si studia insieme a