Books by Jim Davies
7 titles available, newest first by original publication date.

Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe: The Science of Why Jokes Make U
Jim Davies
$27.99

Specification and Proof in Real Time CSP
Jim Davies
$80.99
Being the Person Your Dog Thinks You Are: The Science of a Better You
Being the Person Your Dog Thinks You Are: The Science of a Better You
Jim Davies
$22.99
Imagination
Imagination
Jim Davies
$27.99
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec
Jim Davies
$67.99
Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
Jim Davies
$128.99
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004
Jim Davies
$128.99