top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Tools and algorithms for the construction and analysis of systems 3rd International workshop, TACAS'97 Enschede, The Netherlands, April 1997 proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Tools and algorithms for the construction and analysis of systems
ID:
1516193
Creatori:
(753654) International workshop TACAS'97 3. Enschese 1997
...