Jim Davies
Identifiers
- Open LibraryOL7211433A
Top Subjects
- Software engineering (2)
- System design (1)
- Computer science (1)
- Logic design (1)
- Information Systems (1)
- Administrative law (1)
- Law, european union countries (1)
Books by Jim Davies
Total count: 13
-
FM'99 - Formal MethodsWorld Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume ISpringer London, Limited2003-01-01
-
Formal Methods and Software Engineering6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Integrated Formal Methods6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Specification and Proof in Real Time CSPCambridge University Press2010-01-01
Formal Methods: Foundations and Applications13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected PapersSpringer Berlin Heidelberg2011-01-01-
Proceedings of the 5th International Conference on Theory and Practice of Electronic GovernanceAssociation for Computing Machinery2011-01-01
-
Developments in Services of General InterestT.M.C. Asser Press2013-01-01
Rivetedthe science of why jokes make us laugh, movies make us cry, and religion makes us feel one with the universeFirst edition.Palgrave Macmillan2014-01-01-
Engineering Agile Big-Data SystemsRiver Publishers2018-01-01
-
ImaginationPegasus Books2019-01-01
-
Being the Person Your Dog Thinks You AreThe Science of a Better YouPegasus Books2021-01-01
Riveted Lib/EThe Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the UniverseTantor Audio2021-03-01
GarfieldFull CourseBOOM! Studios2023-01-01