Principles of Concurrent and Distributed Programming

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

«Principles of Concurrent and Distributed Programming» è adottato per Programmazione Concorrente dal prof. Michele Boreale (Informatica – Firenze).

Principles of Concurrent and Distributed ProgrammingCerca su Amazon ›

Come lo indica il docente: Mordechai Ben-Ari. Principles of Concurrent and Distributed Programming, 2/e. Addison-Wesley, 2006

Titolo: Principles of concurrent and distributed programming
Autori: Mordechai <1948- > M. Ben-Ari Ben-Ari
Editore: Addison-Wesley, 2006
ISBN: 9780321312839

Chi lo adotta

Programmazione Concorrente – Prof. Michele Boreale (canale unico)Informatica · Laurea triennale (L-31) · 2º anno · 2º semestre · 6 CFU

Programma e testi di ogni canale

Programmazione Concorrente – Prof. Michele Boreale Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · 2º semestre · 6 CFU

Firenze · Matematica e Informatica 'Ulisse Dini' · 6 CFU · apri nel catalogo · Informatica · 2º anno · 2º semestre ›

Il docente indica 1 testo

Principles of Concurrent and Distributed Programmingquesto libroCerca 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: Panoramica sulla Programmazione Concorrente. Il modello Interleaving. Correttezza: proprietà di Safety, Liveness, Fairness. Linguaggi: Java e Promela. Il problema della Sezione Critica. Metodi formali di verifica: prove induttive e la logica LTL.Algoritmi avanzati per la S.C. Semafori e loro implementazione. Il problema dei filosofi a cena. Il concetto di Monitor. Il problema dei lettori-scrittori.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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