top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computer aided verification
ID:
4202846
Creatori:
(291525) Jackson, Paul
...
(1758373) Cook, Byron
...
(1762734) Touili, Tayssir, 1976-...
...
Persona
Opera