VIAF

Virtual International Authority File

Search

Davies, Jim. NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France National Diet Library, Japan German National Library

Davies, Jim (computer scientist) Wikipedia (en)-test ISNI-test

Davies, Jim, 1964- National Library of the Czech Republic Library of Congress/NACO

VIAF ID: 116841645 (Personal)

Permalink: http://viaf.org/viaf/116841645

ISNI-test: 0000  0001  1455  6948 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (2)

Open Section Close Section Selected Titles

  1. Using Z : specification, refinement, and proof ‎(3) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Wikipedia (en)-test
  2. Specification and proof in real-time CSP, 1993: ‎(3) Wikipedia (en)-test Library of Congress/NACO
  3. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings ‎(3) National Library of the Netherlands-test Sudoc [ABES], France
  4. Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings ‎(2) Sudoc [ABES], France Library of Congress/NACO
  5. ICFEM 2004 ‎(2) National Library of the Netherlands-test
  6. millennial perspectives in computer science: proceedings of the 1999 oxford-[[microsoft]] symposium in honour of sir [[tony hoare]] ‎(1) Wikipedia (en)-test
  7. Using Z ‎(1) NUKAT Center of Warsaw University Library
  8. Proceedings of the first international workshop on formal methods education and training ‎(1) National Diet Library, Japan
  9. IFM 2007 ‎(1) Library of Congress/NACO
  10. Formal methods ‎(1) Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

Open Section Close Section History of VIAF ID:116841645 (15)