lo adottano, in 1 ateneo1 docente · 1 corso di laurea
Scheda libro
Titolo
R. Milner. The Polyadic pi-Calculus: A Tutorial. In Logic and Algebra of Specification. Springer-Verlag, 1993
Pagine
n.d.
Tipo
Manuale universitario
Studio
≈ 3 settimane
Cosa si studia con questo libro Milner – The Polyadic pi-Calculus: di cosa parla
The Polyadic pi-Calculus: A Tutorial, di R. Milner, è un contributo pubblicato in Logic and Algebra of Specification da Springer-Verlag nel 1993. Il titolo indica una guida al pi-calcolo poliadico, un formalismo matematico per descrivere sistemi concorrenti in cui i processi comunicano tra loro. È adottato nell'insegnamento Concurrent Systems. Si rivolge a studenti di informatica e di logica dei corsi avanzati, che lavorano sui modelli formali della concorrenza e leggono in inglese un testo di riferimento in questo ambito.
Dove acquistarlo Milner – The Polyadic pi-Calculus: prezzo nuovo e usato su Amazon, IBS e Libraccio
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.
Domande frequenti su Milner – The Polyadic pi-Calculus
Per quale esame serve Milner – The Polyadic pi-Calculus?
È 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 – The Polyadic pi-Calculus; l'elenco completo dei testi, obbligatori e facoltativi, è nella sezione «Chi lo adotta» di questa pagina.
Qual è il prezzo migliore di Milner – The Polyadic pi-Calculus?
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 – The Polyadic pi-Calculus?
≈ 3 settimane: il tempo è calcolato sulle pagine del libro e sui crediti dell'esame.
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 datiCome è calcolata la difficoltà ›
Crediti (CFU)
50%
1 CFU = 25 ore di studio (dato ufficiale). Più crediti, più ore.
Densità di lettura
50%
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.
Questo sito usa solo strumenti tecnici (nessun cookie di profilazione). I link ai negozi sono link di affiliazione. Cookie policy · Privacy
Libri UniversitariZoom 100%