Libri UniversitariModelling and verification in computer science
Libro adottato a Urbino, a.a. 2026/2027 · 1 canale
«Modelling and verification in computer science» è adottato per Informatica e Pensiero Computazionale dal prof. Stefano Maria Nicoletti (Filosofia dell'informazione – Urbino).
Modelling and verification in computer scienceCerca su Amazon ›
Come lo indica il docente: Modelling and verification in computer science.” In International Conference on Algebraic Biology
Chi lo adotta
- Informatica e Pensiero Computazionale – Prof. Stefano Maria Nicoletti (canale unico)Filosofia dell'informazione · Laurea magistrale (LM-78) · 2º anno · 1º semestre · 6 CFU
Programma e testi di ogni canale
Informatica e Pensiero Computazionale – Prof. Stefano Maria Nicoletti 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 sciencequesto libroCerca 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.