Libri UniversitariApri il catalogo

Prof. Roberto Bruni

Università di Pisa · Dipartimento di Informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Roberto Bruni

Materie del prof. Roberto Bruni

Business Process Modeling Canale unico

Corso di laurea: Data Science and Business Informatics – sede di Pisa · Laurea magistrale (LM Data) · 1º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Data Science and Business Informatics – sede di Pisa · 1º anno · 1º semestre ›

Weske

Management – Architectures ISBN 978-3-642-28615-5Cerca 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
  • Verbeek, Basten, van der Aalst: Diagnosing workflow processes using Woflan. (articolo, lettura consigliata) van der Aalst, van Hee: Workflow Management: Models, Methods, and Systems (libro, lettura opzionale)
  • Dumas, La Rosa, Mendling, Reijers : Fundamentals of Business Process Management (libro su BPMN, lettura opzionale) van der Aalst: Process Mining (libro su Process Mining, lettura opzionale)
  • Desel, Esparza: Free Choice Nets (libro, lettura opzionale)

Argomenti del programma: Il corso mira a riconciliare tecniche di astrazone e notazioni diagrammatiche per la rappresentazone di alto livello con approcci modulari e strutturali alla verifica di proprietà. L'obiettivo del corso è di dmostrare l'impatto che l'analisi e la verifica di proprietà può avere sulla progettazioni dei processi di business, inclusa la scelta della notazione o linguaggio di modellazione da utlizzare.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Models For Programming Paradigms Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU

Pisa · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Pisa · 1º anno · 1º semestre ›

Testo principale

Bruni – Models of ComputationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Letture opzionali consigliate

Glynn Winskel – The formal Semantics of Programming LanguagesCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Turini – La Semantica Formale dei Linguaggi di ProgrammazioneCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Robin Milner – Communication and ConcurrencyCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Luca Aceto et al., Reactive Systems , CambridgeCerca 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: Introduzione di cinque modelli computazionali differenti e studio delle loro proprietà formali principali (imperativo: IMP, funzionale: HOFL, processi concorrenti: CCS, calcoli con nomi: pi-calculus, sistemi probabilistici e stocastici: Segala automata e PEPA) accompagnati da principi di induzione e da metodi di dimostrazione.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Business Process Modeling Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · 2º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Informatica – sede di Pisa · 2º anno · 1º semestre ›

Weske

Management – Architectures ISBN 978-3-642-28615-5Cerca 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
  • Verbeek, Basten, van der Aalst: Diagnosing workflow processes using Woflan. (articolo, lettura consigliata) van der Aalst, van Hee: Workflow Management: Models, Methods, and Systems (libro, lettura opzionale)
  • Dumas, La Rosa, Mendling, Reijers : Fundamentals of Business Process Management (libro su BPMN, lettura opzionale) van der Aalst: Process Mining (libro su Process Mining, lettura opzionale)
  • Desel, Esparza: Free Choice Nets (libro, lettura opzionale)

Argomenti del programma: Il corso mira a riconciliare tecniche di astrazone e notazioni diagrammatiche per la rappresentazone di alto livello con approcci modulari e strutturali alla verifica di proprietà. L'obiettivo del corso è di dmostrare l'impatto che l'analisi e la verifica di proprietà può avere sulla progettazioni dei processi di business, inclusa la scelta della notazione o linguaggio di modellazione da utlizzare.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Program Analysis Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare
  • Il materiale didattico sarà disponibile sulla pagina del corso.
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Roberto Bruni per Business Process Modeling (Data Science and Business Informatics – sede di Pisa, canale unico)?

Management – Architectures ISBN 978-3-642-28615-5

Quali libri consiglia il prof. Roberto Bruni per Models For Programming Paradigms?

Bruni – Models of Computation; Glynn Winskel – The formal Semantics of Programming Languages; Turini – La Semantica Formale dei Linguaggi di Programmazione; Robin Milner – Communication and Concurrency; Luca Aceto et al., Reactive Systems , Cambridge

Quali libri consiglia il prof. Roberto Bruni per Business Process Modeling (Informatica – sede di Pisa, canale unico)?

Management – Architectures ISBN 978-3-642-28615-5