top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computer aided verification fourth international workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computer aided verification
ID:
1382034
Creatori:
(714691) International Workshop CAV '92 <4. ; 1992 ; Montreal>
...
Persona
Opera