Notice de personne
- Notice
Melham, Tom F. forme internationale
Pays :
Grande-Bretagne
Langue(s) :
anglais
Responsabilité(s) exercée(s) sur les documents :
Auteur
Informaticien. - En poste à l'University of Cambridge, GB (en 1993).
Source(s) :
Higher order logic and hardware verification / T. Melham, 1993
BLNA, 1993-10
Higher order logic and hardware verification / T. Melham, 1993
BLNA, 1993-10
Identifiant international de l'autorité :
ISNI 0000 0001 1471 941X
, cf.
http://isni.org/isni/000000011471941X
Identifiant de la notice : ark:/12148/cb12410768w
Notice n° :
FRBNF12410768
Création :
94/08/01
