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

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

Davies, Jim (computer scientist) Wikipedia (en)

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 SectionWorks

Title Sources
Developments in Services of General Interest Sudoc [ABES], France
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Formal methods: foundations and applications 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers Sudoc [ABES], France
GNU scientific library : reference manual Sudoc [ABES], France
ICFEM 2004 National Library of the Netherlands-test Sudoc [ABES], France
IFM 2007 Library of Congress/NACO
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings xR Extended Titles-test National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
millennial perspectives in computer science: proceedings of the 1999 oxford-[[microsoft]] symposium in honour of sir [[tony hoare]] Wikipedia (en)
Proceedings of the first international workshop on formal methods education and training National Diet Library, Japan
SBMF 2010 Sudoc [ABES], France
Using Z : specification, refinement, and proof National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Wikipedia (en) Sudoc [ABES], France

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 (8)

Open Section Close Section About

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