top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Integrated formal methods second International conference, IFM 2000 Dagstuhl Castle, Germany, November 1-3, 2000 procedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Integrated formal methods
ID:
877575
Creatori:
(543950) International conference, IFM <2.; 2000 ; Dagstuhl Castle, Germany>
...