Notice de personne
- Notice
000 cx a22 45
001 FRBNF124820164
005 20140217
010 .. $a 0000000109442399 $2 saisie $d 20140217
010 .. $y 0000000108026270 $2 saisie $d 20140217
039 .. $o OPL $a 011693577
039 .. $o OPP $a 14612518 $d 20140215
039 .. $o OPP $a 14614170 $d 20140217
100 .. $a 19950912afrey50 ba0
101 .. $a eng
102 .. $a GB
103 .. $a 19560607
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Woodcock $b Jim $f 1956-....
300 0. $a Mathématicien et informaticien. - Professeur d'informatique, University of York, GB
(en 2014)
400 .| $7 ba0yba0y $8 fre $9 $a Woodcock $b J. C. P. $f 1956-....
400 .| $7 ba0yba0y $8 fre $9 $a Woodcock $b James Charles Paul $f 1956-....
801 .. $a FR $b FR-751131015 $c 20140217
810 .. $a 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 $a 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
810 .. $a The British Library - http://www.bl.uk (2014-02-15) $a LC authorities - http://lccn.loc.gov/n88200622 (2014-02-15) $a The University of York - http://www-users.cs.york.ac.uk/~jim (2014-02-15)
856 .. $u http://www.bl.uk/ $e 2014-02-15 $u http://lccn.loc.gov/n88200622 $e 2014-02-15 $u http://www-users.cs.york.ac.uk/~jim/ $e 2014-02-15
