Notice de personne
- Notice
Woodcock, Jim (1956-....) forme internationale
Pays :
Grande-Bretagne
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1956-06-07
Mathématicien et informaticien. - Professeur d'informatique, University of York, GB
(en 2014).
Forme(s) rejetée(s) :
< Woodcock, J. C. P. (1956-....)
< Woodcock, James Charles Paul (1956-....)
< Woodcock, J. C. P. (1956-....)
< Woodcock, James Charles Paul (1956-....)
Source(s) :
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Jim Woodcock [et al.] ed., 2007 . - FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock [et al.] ed., 1993
The British Library : http://www.bl.uk/ (2014-02-15) . - LC authorities : http://lccn.loc.gov/n88200622 (2014-02-15) . - The University of York : http://www-users.cs.york.ac.uk/~jim/ (2014-02-15)
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Jim Woodcock [et al.] ed., 2007 . - FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock [et al.] ed., 1993
The British Library : http://www.bl.uk/ (2014-02-15) . - LC authorities : http://lccn.loc.gov/n88200622 (2014-02-15) . - The University of York : http://www-users.cs.york.ac.uk/~jim/ (2014-02-15)
Identifiant international de l'autorité :
ISNI 0000 0001 0944 2399
, cf.
http://isni.org/isni/0000000109442399
ISNI 0000 0001 0802 6270 (obsolète)
ISNI 0000 0001 0802 6270 (obsolète)
Identifiant de la notice : ark:/12148/cb12482016n
Notice n° :
FRBNF12482016
Création :
95/09/12
Mise à jour :
14/02/17
