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)

Namjoshi, Kedar S.
ID: 1756346

Opere

Altre forme del nome

http://viaf.org/viaf/8586523/

Kedar Sharadchandra Namjoshi Ph.D. University of Texas at Austin 1998

http://viaf.org/viaf/8586523/

Namjoshi, Kedar S.

Nome da opac

Namjoshi Kedar S

Seleziona tutte

Deseleziona

Verification, model checking, and abstract interpretation

...