top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computer aided verification 17th International Conference, CAV 2005 : Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computer aided verification
ID:
4186130
Creatori:
(1751256) Etessami, Kousha
...
(1751257) Rajamani, Sriram K., 1970-
...
Persona
Opera