Prof. Sabina Rossi

Università Ca' Foscari Venezia · Area linguistica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Sabina Rossi

Hillston – A Compositional Approach to Performance Modelling – Formal Methods For System Verification (Computer Science and Information Technology, 1º anno · 1º semestre · 6 CFU)
Independently Published, 2018 – Strutture Discrete (Informatica, 1º anno · 1º semestre · tecnologie e scienze dell'informazione · 9 CFU)

Materie del prof. Sabina Rossi

Abilita' Informatiche Canale unico

Corso di laurea: Lingue, civiltà e scienze del linguaggio · Laurea triennale · 3º anno · tutto l'anno (semestre non indicato) · 3 CFU

Ca' Foscari · Area linguistica · 3 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Materiali interattivi messi a disposizione del docente sulla pagina moodle del corso.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Abilita' Informatiche Canale unico

Corso di laurea: Lingue, culture e società dell'asia e dell'africa mediterranea · Laurea triennale · 3º anno · tutto l'anno (semestre non indicato) · 3 CFU

Ca' Foscari · Area linguistica · 3 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Materiali interattivi messi a disposizione del docente sulla pagina moodle del corso.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Abilita' Informatiche Canale unico

Corso di laurea: Mediazione linguistica e culturale · Laurea triennale · 1º anno · tutto l'anno (semestre non indicato) · 3 CFU

Ca' Foscari · Area linguistica · 3 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Materiali interattivi messi a disposizione del docente sulla pagina moodle del corso.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Formal Methods For System Verification Canale unico

Corso di laurea: Computer Science and Information Technology · Laurea magistrale · 1º anno · 1º semestre · 6 CFU

Ca' Foscari · Area scientifica · 6 CFU · apri nel catalogo · Computer Science and Information Technology · 1º anno · 1º semestre ›

Il docente indica 1 testo

Hillston – A Compositional Approach to Performance Modelling Cerca 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.

Strutture Discrete Canale unico

Corso di laurea: Informatica · Laurea triennale · 1º anno · 1º semestre · tecnologie e scienze dell'informazione · 9 CFU

Ca' Foscari · Area scientifica · 9 CFU · apri nel catalogo · Informatica · 1º anno · 1º semestre ›

Il docente indica 1 testo

Independently Published, 2018 Cerca 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.

Domande frequenti

Quali libri consiglia il prof. Sabina Rossi per Formal Methods For System Verification?

Hillston – A Compositional Approach to Performance Modelling

Quali libri consiglia il prof. Sabina Rossi per Strutture Discrete?

Independently Published, 2018