1.
Record Nr.
UNINA9910376068703321
Autore
Ghezzi Carlo
Titolo
Proceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Pubbl/distr/stampa
[Place of publication not identified] : , : Association for Computing Machinery, , 2010
Descrizione fisica
1 online resource (50 pages)
Collana
ACM Conferences.
Soggetti
Information Technology - Computer Science (Hardware & Networks)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
Bibliographic Level Mode of Issuance: Monograph