Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Export / Download

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

Peled, Doron A.
ID: 67500

Opere

Altre forme del nome

Authority file

Peled, Doron A.

http://viaf.org/viaf/85346726/

Peled, Doron, 1962-

http://viaf.org/viaf/85346726/

Peled, Doron (Doron A.), 1962-

http://viaf.org/viaf/85346726/

Peled, Doron A., 1962-..

Nome da opac

Peled Doron 1962-

Nome da opac

Nome da opac

Peled, Doron A. <1962- >

Seleziona tutte

Deseleziona

Automated technology for verification and analysis

...

Model Checking and Artificial Intelligence

...

Model checking

...

Runtime Verification

...

Time for verification

...