top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
FM 2006
ID:
4199503
Creatori:
(62010) Nipkow, Tobias
...
(543668) Misra, Jayadev
...
(1760502) Sekerinski E (Emil), 1963-
...
Persona
Opera