Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Computer aided verification 5. International Conference, CAV '93 Elounda, Greece, June 28 - July 1, 1993 proceedings

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Computer aided verification
ID: 1382095

Creatori:

(714741) International Conference CAV 93 <5. ; 1993 ; Elounda>

Espandi persona

...