Libri UniversitariProf. Stefano Maria Nicoletti
Università degli Studi di Urbino Carlo Bo · Dipartimento di Scienze Pure e Applicate · libri consigliati e cosa studiare, a.a. 2026/2027
Libri adottati dal prof. Stefano Maria Nicoletti
- Exploring Data using Python 3 – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Kaminski – Advanced weakest precondition calculi for probabilistic programs – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Baier – Principles of Model Checking – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Modelling and verification in computer science – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- An introduction to program verification – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Goranko – Temporal Logic – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Nicoletti – Systems and Networks – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Nicoletti – PFL – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
- Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented… – Informatica e Pensiero Computazionale (Filosofia dell'informazione, 2º anno · 1º semestre · 6 CFU)
Materie del prof. Stefano Maria Nicoletti
Informatica e Pensiero Computazionale Canale unico
Corso di laurea: Filosofia dell'informazione · Laurea magistrale (LM-78) · 2º anno · 1º semestre · 6 CFU
Il docente indica 11 testi · da studiare tutti
Exploring Data using Python 3Cerca su Amazon ›Da studiare: Capitoli dall’1 al 9 incluso, Capitolo 14. Disponibile anche nella traduzione italiana dal titolo Python per tutti. Esplorare dati con Python 3Verificato sulla scheda ufficiale il 04/10/2026
Kaminski – Advanced weakest precondition calculi for probabilistic programsCerca su Amazon ›Da studiare: Capitolo 1.2, Capitolo 2.1, Capitolo 2.2 (escluso 2.2.4Verificato sulla scheda ufficiale il 04/10/2026
Baier – Principles of Model CheckingCerca su Amazon ›Da studiare: Capitolo 1Verificato sulla scheda ufficiale il 04/10/2026
Modelling and verification in computer scienceCerca su Amazon ›Da studiare: Pp. 16-21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008Verificato sulla scheda ufficiale il 04/10/2026
An introduction to program verificationCerca su Amazon ›Da studiare: Capitolo 1 (esclusi 1.3 e 1.4) e Capitolo 2 (esclusi 2.2.1, 2.2.2 e 2.5Verificato sulla scheda ufficiale il 04/10/2026
Exploring Data using Python 3Cerca su Amazon ›Da studiare: Capitoli 10, 11, 12, 13, 15 e 16. Disponibile anche nella traduzione italiana dal titolo Python per tutti. Esplorare dati con Python 3Verificato sulla scheda ufficiale il 04/10/2026
Baier – Principles of Model CheckingCerca su Amazon ›Da studiare: Capitolo 5Verificato sulla scheda ufficiale il 04/10/2026
Nicoletti – Systems and NetworksCerca su Amazon ›Da studiare: Pp. 441-452. IEEE, 2022Verificato sulla scheda ufficiale il 04/10/2026
Nicoletti – PFLCerca su Amazon ›Da studiare: Pp. 199-221. Cham: Springer International Publishing, 2023Verificato sulla scheda ufficiale il 04/10/2026
Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented…Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Bacheca del docente: cosa indica di studiare
- Le dispense fornite dal docente e disponibili sulla piattaforma Moodle sono integrate dai seguenti testi, da studiare solamente nelle sezioni indicate di seguito:
- Non frequentanti: Le dispense fornite dal docente e disponibili sulla piattaforma Moodle sono integrate dai seguenti testi, da studiare solamente nelle sezioni indicate di seguito:
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Domande frequenti
Quali libri consiglia il prof. Stefano Maria Nicoletti per Informatica e Pensiero Computazionale?
Exploring Data using Python 3; Kaminski – Advanced weakest precondition calculi for probabilistic programs; Baier – Principles of Model Checking; Modelling and verification in computer science; An introduction to program verification; Goranko – Temporal Logic; Exploring Data using Python 3; Baier – Principles of Model Checking; Nicoletti – Systems and Networks; Nicoletti – PFL; Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented…