top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Formal methods for quantitative aspects of programming languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Formal methods for quantitative aspects of programming languages
ID:
4197289
Creatori:
(600344) Aldini, Alessandro
...
Persona
Opera