Notice de personne
- Notice
Kurshan, Robert (1943-....) forme internationale
Pays :
États-Unis
Langue(s) :
anglais
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1943-11-03
Informaticien. - En poste chez AT&T Bell Laboratories, Murray Hill, New Jersey, USA
(en 1993).
Source(s) :
Computer-aided verification : a special issue of formal methods in system design on computer-aided verification / ed. by Robert Kurshan, 1993
LCNA (CD OCLC), 1995-03
Computer-aided verification : a special issue of formal methods in system design on computer-aided verification / ed. by Robert Kurshan, 1993
LCNA (CD OCLC), 1995-03
Identifiant international de l'autorité :
ISNI 0000 0001 0936 2671
, cf.
http://isni.org/isni/0000000109362671
Identifiant de la notice : ark:/12148/cb12481949v
Notice n° :
FRBNF12481949
Création :
95/09/11