Formal Methods For System Verification – prof. Sabina Rossi

Computer Science and Information Technology · Università Ca' Foscari Venezia · 1º anno · 1º semestre · 6 CFU · canale unico

Libri del canale

Formal Methods For System Verification 6 CFU

SRProf. Sabina Rossi Canale unico

Il docente indica 1 testo

Hillston – A Compositional Approach to Performance ModellingVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Computer Science and Information Technology, 1º anno, tutte le materie e i canali ›

Testi d'esame di Formal Methods For System Verification del prof. Sabina Rossi, canale unico, corso di laurea in Computer Science and Information Technology (Laurea magistrale), Università Ca' Foscari Venezia, 1º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Hillston – A Compositional Approach to Performance Modelling.

Altre materie del prof. Rossi

Strutture Discrete · Informatica · 1º anno · 1º semestre · tecnologie e scienze dell'informazione · 9 CFU

Vedi anche: Prof. Sabina Rossi · Formal Methods For System Verification a Ca' Foscari (tutti i canali)