Libri UniversitariFormal Methods For System Verification – Ca' Foscari
Università Ca' Foscari Venezia · Area scientifica · tutti i canali con docenti e libri, a.a. 2026/2027
Prof. Sabina Rossi Canale unico
Corso di laurea: Computer Science and Information Technology · Laurea magistrale · 1º anno · 1º semestre · 6 CFU
Il docente indica 1 testo
Hillston – A Compositional Approach to Performance ModellingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Apri la scheda ufficiale ›Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.