Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Formal Methods in Computer-Aided Design First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Formal methods in computer-aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

Formal methods in computer-aided design second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Export / Download

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

Formal Methods in Computer-Aided Design
ID: 1891319