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

Identifiant pérenne de la notice : 168516853

URI de l'entité : http://www.idref.fr/168516853/id

Notice de type Personne

Point d'accès autorisé

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

Sur le web

Variante de point d'accès

Hailpern, Brent Tzion

[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Pays inconnu

Date de naissance : 1955

Genre : Masculin

Notes

Note publique d'information :

En poste à l'IBM Thomas J. Watson research center, Yorktown Heights, N.Y. (en 1982)

Identifiants externes

Identifiant ISNI : 0000000109717743

Source

Internet, http://authorities.loc.gov, 2013-04-03

Information trouvée : forme rejetée : Hailpern, Brent Tzion ; né le 1955-01-11

Verifying concurrent processes using temporal logic / Brent T. Hailpern, 1982

Source consultée en vain : Internet, http://catalogue.bnf.fr, 2013-04-03

... Références liées : ...