Libri UniversitariZoom 100%
Libri Universitari › Milner – Communicating and Mobile Systems

Milner – Communicating and Mobile Systems

Cambridge University Press · 1999 · ISBN 9780521658690
4.8 / 10
Difficoltà medio
1 facoltà
lo adottano, in 1 ateneo1 docente · 1 corso di laurea

Scheda libro

Titolo
Communicating and Mobile Systems
Autori
Robin Milner
Editore
Cambridge University Press, 1999
Edizione
1999
ISBN
9780521658690
Lingua
Inglese
Pagine
161
Tipo
Manuale universitario
Studio
≈ 2 settimane

Cosa si studia con questo libro Milner – Communicating and Mobile Systems: di cosa parla

Communicating and Mobile Systems, di R. Milner, tratta i sistemi composti da componenti che comunicano tra loro e modificano la propria configurazione nel tempo, con un'impostazione formale tipica dell'informatica teorica. Il tema è la descrizione rigorosa dei processi concorrenti e mobili. Il libro appartiene alla teoria della concorrenza e della computazione. Torna utile a chi studia sistemi concorrenti e deve ragionare su modelli, proprietà di comportamento e verifica di sistemi distribuiti, oppure a chi vuole confrontarsi con i formalismi per processi che interagiscono e si riconfigurano.

Dove acquistarlo Milner – Communicating and Mobile Systems: prezzo nuovo e usato su Amazon, IBS e Libraccio

Like
Comparatore prezzi
Amazon
Vedi prezzoNuovo
IBS
CercaNuovo
Feltrinelli
CercaNuovo
Libraccio
CercaNuovo e usato

Chi lo adotta Milner – Communicating and Mobile Systems: esami, corsi di laurea e docenti che lo indicano

Sapienza 1 facoltà · 1 esame

Milner – Communicating and Mobile Systems a Sapienza: Concurrent Systems, prof. Gorla

Facoltà: Ingegneria dell'informazione, informatica e statistica

Concurrent Systems

Prof. DANIELE GORLA
Vai alla scheda ufficiale ›
Pagina del docente: Daniele Gorla
Scopri le domande d’esame:Apri scheda materia ›
Di cosa si tratta: Concetti e modelli dei sistemi concorrenti: modellazione, proprietà di liveness e safety in LTL, verifica con model checking e formalismi visuali come reti di Petri, statecharts e diagrammi di attività. Segue la programmazione concorrente multi-thread con memoria condivisa, semafori e monitor, il passaggio da thread a task e il meccanismo dei future.

Dettagli corso

Computer Science - Informatica
Corso: LM-18
CFU: 6Canale: Unico
Apri l’esame nel catalogo

Tempo di studio e official info

Tempo consigliato per preparare l’esame: 13 settimane (3 mesi)
Frequenza consigliata
Dati verificati il 18/09/2026

Libri indicati per la materia

Scorri di lato: 5 libri
Raynal – Concurrent ProgrammingISBN 9783642320262
Tempo di studio del libro≈ 5,5 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
515 pagine
Difficoltà
6,9
Vai all’analisi del libro →
Milner – Communicating and Mobile SystemsISBN 9780521658690
Tempo di studio del libro≈ 2 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
161 pagine
Difficoltà
4,8
Smolka – In Encyclopedia of Electrical EngineeringISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Parrow – An Introduction to the pi-Calculus, pages 479-543ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Milner – The Polyadic pi-CalculusISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Vai all’analisi del libro →

Domande frequenti su Milner – Communicating and Mobile Systems

Per quale esame serve Milner – Communicating and Mobile Systems?

È indicato per Concurrent Systems a Sapienza, dal prof. Daniele Gorla. A.a. 2026/2027.

Quali libri indica il prof. Daniele Gorla per Concurrent Systems?

Per Concurrent Systems (Sapienza) il prof. Daniele Gorla indica Milner – Communicating and Mobile Systems; l'elenco completo dei testi, obbligatori e facoltativi, è nella sezione «Chi lo adotta» di questa pagina.

Qual è il prezzo migliore di Milner – Communicating and Mobile Systems?

Il comparatore prezzi di questa pagina mette a confronto Amazon, IBS e Libraccio, nuovo e usato: su Amazon il prezzo aggiornato è nella scheda del negozio.

Quanto tempo serve per studiare Milner – Communicating and Mobile Systems?

≈ 2 settimane: il tempo è calcolato sulle pagine del libro e sui crediti dell'esame.

Qual è l'ISBN di Milner – Communicating and Mobile Systems?

L'ISBN è 9780521658690 (editore Cambridge University Press).

Sei uno studente tra i 18 e i 22 anni?Con Prime Student hai 90 giorni gratis, poi Amazon Prime a soli 2,49 € al mese: consegne veloci e gratuite anche sui libri.Scopri Prime Student ›
Come leggere questi dati
Come è calcolata la difficoltà ›
Crediti (CFU)50%1 CFU = 25 ore di studio (dato ufficiale). Più crediti, più ore.
Densità di lettura50%pagine dei libri indicati divisi per i CFU (pagine dalla scheda SBN; se non note, una stima di 400 pagine a libro).

Ogni esame si confronta solo con quelli della sua area (scientifico-tecnica, umanistica, giuridico-sociale, sanitaria, economica): un esame di lettere non viene misurato con matematica. Il numero 1-10 è la posizione dell'esame nella sua area; per il libro si fa la media degli esami che lo adottano. Non contano anno di corso, laurea triennale o magistrale e lunghezza del programma: non dicono quanto si studia. È una stima del carico, non una difficoltà misurata.

Atenei e facoltà in ordine di diffusione. Per ogni esame: docente, corso di laurea, facoltà e il confronto con gli altri libri che indica.
Controlla sempre la scheda dell'esame. Le informazioni vengono dalle schede ufficiali degli atenei e possono cambiare o contenere errori: prima di acquistare verifica i testi sulla scheda ufficiale dell'esame (la trovi linkata in ogni esame) e, nel dubbio, chiedi al docente.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.