Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA

Export / Download

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

Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA
ID: 2362588