top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computer aided verification 18th International conference, CAV 2006 Seattle, WA, USA, August 2006 proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computer aided verification
ID:
1022935
Creatori:
(600364) International conference, CAV 2006 <18 ; 2006; Seattle>
...
Persona
Opera