Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Wikipedia

Export / Download

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

Grumberg, Orna
ID: 67499

Opere

Altre forme del nome

Authority file

http://viaf.org/viaf/85195028/

Grumberg, Orna, 1952-

http://viaf.org/viaf/85195028/

http://viaf.org/viaf/85195028/

http://viaf.org/viaf/85195028/

http://viaf.org/viaf/85195028/

Grumberg, O. (Orna)

Nome da opac

Nome da opac

Seleziona tutte

Deseleziona

25 years of model checking

...

Languages: from formal to natural

...

Languages: from formal to natural

...

Model checking

...

Software safety and security

...