Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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: 
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
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