Libri UniversitariGorrieri – Syntax and Semantics of Petri Nets
Libro adottato a Bologna, a.a. 2026/2027 · 1 canale
«Gorrieri – Syntax and Semantics of Petri Nets» è adottato per Modelli e Sistemi Concorrenti dal prof. Roberto Gorrieri (Informatica – Bologna).
Gorrieri – Syntax and Semantics of Petri NetsCerca su Amazon ›
Come lo indica il docente: R. Gorrieri. Syntax and Semantics of Petri Nets, Cambridge Tracts in TheoreticalComputer Science 63, CUP, 2025
- Titolo
- Syntax and semantics of Petri nets
- Autori
- Roberto Gorrieri
- Editore
- Cambridge University Press, 2025
- ISBN
- 9781009613286
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 Netsquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Gorrieri – Introduction to Concurrency TheoryCerca 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.