VIAF

Virtual International Authority File

Search

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

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

Jim Davies Wikidata ISNI

VIAF ID: 116841645 (Personal)

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

ISNI: 0000  0001  1455  6948 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library
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
IFM 2007 Library of Congress/NACO
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings Sudoc [ABES], France Library of Congress/NACO
ITIL foundation all-in-one exam guide Library of Congress/NACO
Proceedings of the first international workshop on formal methods education and training National Diet Library, Japan
SBMF 2010 Sudoc [ABES], France
Specification and proof in real-time CSP, 1993: Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO National Library of Israel NUKAT Center of Warsaw University Library

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

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