VIAF

Virtual International Authority File

Search

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

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

جيم ديفيز Wikidata

Jim Davies ISNI

VIAF ID: 116841645 (Personal)

Permalink: //viaf.org/viaf/116841645

ISNI: 0000  0001  1455  6948 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
The book of Guinness advertising BIBSYS
Developments in Services of General Interest Sudoc [ABES], France BIBSYS
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Sudoc [ABES], France Library of Congress/NACO BIBSYS NUKAT Center of Warsaw University Library
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO BIBSYS
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 Sudoc [ABES], France National Library of the Netherlands
IFM 2007 Library of Congress/NACO
ITIL foundation all-in-one exam guide Library of Congress/NACO
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare BIBSYS
Proceedings of the first international workshop on formal methods education and training National Diet Library, Japan
Promoting learning BIBSYS
SBMF 2010 Sudoc [ABES], France
Specification and proof in real-time CSP National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France BIBSYS Library of Congress/NACO National Library of Israel

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

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