Libri UniversitariGorrieri – Introduction to Concurrency Theory
Libro adottato a Bologna, a.a. 2026/2027 · 1 canale
«Gorrieri – Introduction to Concurrency Theory» è adottato per Modelli e Sistemi Concorrenti dal prof. Roberto Gorrieri (Informatica – Bologna).
Gorrieri – Introduction to Concurrency TheoryCerca su Amazon ›
Come lo indica il docente: R. Gorrieri, C. Versari. Introduction to Concurrency Theory: Transition Systems and CCS, EATCS texts in theoretical computer science, Springer, 2015
- Titolo
- Introduction to concurrency theory
- Autori
- Roberto Gorrieri
- Editore
- Springer, 2015
- ISBN
- 9783319214900
Chi lo adotta
- Modelli e Sistemi Concorrenti – Prof. Roberto Gorrieri (canale unico)Informatica · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU
Programma e testi di ogni canale
Modelli e Sistemi Concorrenti – Prof. Roberto Gorrieri Canale unico
Corso di laurea: Informatica · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU
Il docente indica 3 testi · da studiare tutti
Gorrieri – Syntax and Semantics of Petri NetsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Gorrieri – Introduction to Concurrency Theoryquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Gorrieri – Process Algebras for Petri NetsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.