Libri UniversitariBartocci – Lectures on Runtime Verification
Libro adottato a Modena e Reggio Emilia, a.a. 2026/2027 · 1 canale
«Bartocci – Lectures on Runtime Verification» è adottato per Metodi per il Ciclo di Vita del Software dal prof. Angelo Ferrando (Informatica – sede di Modena, Modena – Modena e Reggio Emilia).
Bartocci – Lectures on Runtime VerificationCerca su Amazon ›
Come lo indica il docente: E. Bartocci e Y. Falcone (a cura di), Lectures on Runtime Verification: Introductory and Advanced Topics, Springer, 2018
Chi lo adotta
- Metodi per il Ciclo di Vita del Software – Prof. Angelo Ferrando (canale unico)Informatica – sede di Modena, Modena · Laurea magistrale (LM-18) · 2º anno · 1º semestre · 6 CFU
Programma e testi di ogni canale
Metodi per il Ciclo di Vita del Software – Prof. Angelo Ferrando Canale unico
Corso di laurea: Informatica – sede di Modena, Modena · Laurea magistrale (LM-18) · 2º anno · 1º semestre · 6 CFU
Il docente indica 8 testi · da studiare tutti
From System Goals to UML Models to SoftwareCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Friedenthal – A Practical Guide to SysMLCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Baier – Principles of Model CheckingCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Wooldridge – An Introduction to MultiAgent SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bartocci – Lectures on Runtime Verificationquesto libroCerca 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.