Libri UniversitariBruni – Models of Computation
Libro adottato a Pisa, a.a. 2026/2027 · 1 canale
«Bruni – Models of Computation» è adottato per Models For Programming Paradigms dal prof. Roberto Bruni (Informatica – sede di Pisa – Pisa).
Bruni – Models of ComputationCerca su Amazon ›
Come lo indica il docente: Roberto Bruni, Ugo Montanari, “ Models of Computation ”, Springer Texts in Computer Science, 2017
- Titolo
- Models of computation
- Autori
- Roberto <informatico> Roberto Bruni, Ugo Montanari Bruni
- Editore
- Springer, 2017
- ISBN
- 9783319428987
Chi lo adotta
- Models For Programming Paradigms – Prof. Roberto Bruni (canale unico)Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU
Programma e testi di ogni canale
Models For Programming Paradigms – Prof. Roberto Bruni Canale unico
Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU
Il docente indica 5 testi · da studiare tutti
Bruni – Models of Computationquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
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
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.