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
FM '99 (1999 ; Tuluza)
Gibbons, Jeremy
Hinchey, Michael Gerard
Prentice Hall
Schulte, Wolfram
Wing, Jeanette M.
Wing, Jeannette Marie
Woodcock, Jim
World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Titles: 
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal Methods in the Development of Computing Systems
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
Specification and proof in real-time CSP, 1993:
Using Z : specification, refinement, and proof
Notes: 
Sources: 
VIAF LC NDL NKC NTA NUKAT SUDOC WKP