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)

Hailpern, Brent T. (Brent Tzion), 1955-
ID: 537323

Opere

Altre forme del nome

http://viaf.org/viaf/52275853/

Hailpern, Brent T. (Brent Tzion), 1955-

http://viaf.org/viaf/52275853/

Hailpern, Brent Tzion (1955- )

http://viaf.org/viaf/52275853/

Hailpern, Brent T., 1955-...

http://viaf.org/viaf/52275853/

Hailpern, Brent T.

Nome da opac

Hailpern, Brent T.

Nome da opac

HAILPERN, Brent T.

Seleziona tutte

Deseleziona

Verifing concurrent processes using temporal logic

...

Verifying concurrent processes using temporal logic

...