Libri UniversitariApri il catalogo

Turini – La Semantica Formale dei Linguaggi di Programmazione

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

«Turini – La Semantica Formale dei Linguaggi di Programmazione» è adottato per Models For Programming Paradigms dal prof. Roberto Bruni (Informatica – sede di Pisa – Pisa).

Turini – La Semantica Formale dei Linguaggi di ProgrammazioneCerca su Amazon ›

Come lo indica il docente: “La Semantica Formale dei Linguaggi di Programmazione”, traduzione italiana a cura di Franco Turini, UTET 1999

Titolo
La semantica formale dei linguaggi di programmazione
Autori
Glynn Winskel
Editore
UTET libreria, 1999
ISBN
9788877506481

Chi lo adotta

Programma e testi di ogni canale

Models For Programming Paradigms – Prof. Roberto Bruni Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU

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

Testo principale

Bruni – Models of ComputationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Letture opzionali consigliate

Glynn Winskel – The formal Semantics of Programming LanguagesCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Turini – La Semantica Formale dei Linguaggi di Programmazionequesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Robin Milner – Communication and ConcurrencyCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Luca Aceto et al., Reactive Systems , CambridgeCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione di cinque modelli computazionali differenti e studio delle loro proprietà formali principali (imperativo: IMP, funzionale: HOFL, processi concorrenti: CCS, calcoli con nomi: pi-calculus, sistemi probabilistici e stocastici: Segala automata e PEPA) accompagnati da principi di induzione e da metodi di dimostrazione.

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

Si studia insieme a