Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Export / Download

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

International SPIN workshop on model checking of software <10. ; 2003 ; Portland>
ID: 563350

Opere

Altre forme del nome

Nome da opac

International SPIN workshop on model checking of software <10. ; 2003 ; Portland>

Seleziona tutte

Deseleziona

Model checking software

...