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 I

Springer London, Limited2003-01-01
Formal Methods and Software Engineering6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Springer London, Limited2004-01-01
Integrated Formal Methods6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Springer London, Limited2007-01-01
Specification and Proof in Real Time CSP

Cambridge University Press2010-01-01
Formal Methods: Foundations and Applications13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer Berlin Heidelberg2011-01-01
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance

Association for Computing Machinery2011-01-01
Developments in Services of General Interest

T.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 Systems

River Publishers2018-01-01
Imagination

Pegasus Books2019-01-01
Being the Person Your Dog Thinks You AreThe Science of a Better You

Pegasus 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 Universe

Tantor Audio2021-03-01
GarfieldFull Course

BOOM! Studios2023-01-01