Jim Davies

Engineering Agile Big-Data Systems

2022

Specification and proof in real-time CSP

1993

ITIL foundation exam guide

2016

Imagination

2019

Riveted

2014

Formal Methods: Foundations and Applications

2011

Formal methods and software engineering

2005

FM'99 - Formal Methods

2003

Being the Person Your Dog Thinks You Are

2021

Using Z

1996

The European consumer citizen in law and policy

2011

Royal Mail Special Stamps 18

2001

Riveted Lib/E

2021

Promoting learning

1989

Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance

2011

Integrated Formal Methods

2007

Gnu Scientific Library Reference Manual

2001

Aspects of Educational and Training Technology : Vol.22

1989