top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Fm'99--formal methods Volume ii world congress on formal methods in the development of computing systems, toulouse, france, september 20-24, 1999 proceedings
Fm'99--formal methods world congress on formal methods in the development of computing systems, Toulouse, france, September 20-24, 1999 : proceedings
FM'99 - formal methods
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
FM'99 - formal methods
ID:
1501849