Jim Davies
· 12 obras en el catálogo
Obras

Formal Methods: Foundations and Applications

Formal methods and software engineering

Riveted

Engineering Agile Big-Data Systems

Imagination
Specification and Proof in Real Time CSP
Being the Person Your Dog Thinks You Are

Riveted Lib/E
Integrated Formal Methods
FM'99 - Formal Methods
