top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
FM 2008 formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
FM 2008
ID:
4184832
Creatori:
(1750239) Cuellar, Jorge
...
(1750240) Maibaum Thomas S. E. 1947-
...
(1750241) Sere K (Kaisa), 1954-
...