Libri UniversitariHillston – A Compositional Approach to Performance Modelling
Libro adottato a Ca' Foscari, a.a. 2026/2027 · 1 canale
«Hillston – A Compositional Approach to Performance Modelling» è adottato per Formal Methods For System Verification dal prof. Sabina Rossi (Computer Science and Information Technology – Ca' Foscari).
Hillston – A Compositional Approach to Performance ModellingCerca su Amazon ›
Come lo indica il docente: J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996. http://www.dcs.ed.ac.uk/pepa/book.pdf
- Titolo
- A compositional approach to performance modelling
- Autori
- Jane Hillston University of Edinburgh
- Editore
- Cambridge University press, 1996
- ISBN
- 9780521673532
Chi lo adotta
- Formal Methods For System Verification – Prof. Sabina Rossi (canale unico)Computer Science and Information Technology · Laurea magistrale · 1º anno · 1º semestre · 6 CFU
Programma e testi di ogni canale
Formal Methods For System Verification – 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 Modellingquesto libroCerca 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.