Davies, Jim.
Davies, Jim, 1964-....
Jim Davies
جيم ديفيز
VIAF ID: 116841645 ( Personal )
Permalink: http://viaf.org/viaf/116841645
Preferred Forms
- 100 1 _ ‡a Davies, Jim
- 100 1 _ ‡a Davies, Jim
-
-
-
- 100 1 _ ‡a Davies, Jim ‡d 1964-
- 100 1 0 ‡a Davies, Jim, ‡d 1964-
-
-
-
- 100 1 _ ‡a Davies, Jim, ‡d 1964-....
-
- 100 0 _ ‡a Jim Davies
- 100 0 _ ‡a جيم ديفيز
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
The book of Guinness advertising | |
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. | |
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings | |
Formal methods: foundations and applications : 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers | |
GNU scientific library : reference manual | |
ICFEM 2004 | |
IFM 2007 | |
ITIL foundation all-in-one exam guide | |
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare | |
Proceedings of the first international workshop on formal methods education and training | |
Promoting learning | |
Specification and proof in real-time CSP, 1993: |