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

Jim Davies Wikidata ISNI

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

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

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 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
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
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 Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO 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 (12)