Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000114556948 | 1 hits
Person
ISNI: 
0000 0001 1455 6948
Name: 
Davies, James William
Davies, Jim,
Davies, Jim ((computer scientist))
Dates: 
1964-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Barnett, Mike
Gibbons, Jeremy
Hinchey, Michael Gerard
Oxford University Computing Laboratory Programming Research Group
Prentice Hall
Schulte, Wolfram
Wing, Jeanette M.
Wing, Jeannette M.
Wing, Jeannette Marie
Woodcock, Jim
World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Titles: 
Developments in Services of General Interest
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.
Formal methods: foundations and applications 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
GNU scientific library : reference manual
ICFEM 2004
IFM 2007
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
millennial perspectives in computer science: proceedings of the 1999 oxford-[[microsoft]] symposium in honour of sir [[tony hoare]]
Proceedings of the first international workshop on formal methods education and training
SBMF 2010
Specification and proof in real-time systems
Using Z : specification, refinement, and proof
Notes: 
Thesis (Ph. D.)--University of Oxford, Oxford, 1991
Sources: 
VIAF LC NDL NKC NTA NUKAT SUDOC WKP