Books by Jim Davies
Specification and Proof in Real Time CSP
-20% with code BOOKS
In stock at our supplier
Specification and Proof in Real Time CSP
-20% with code BOOKS
In stock at our supplier
Illustrating Armageddon: Matania and the First World War
-20% with code BOOKS
In stock at our supplier
Being the Person Your Dog Thinks You Are: The Science of a Better You
-20% with code BOOKS
In stock at our supplier
Engineering Agile Big-Data Systems
James Welch, Jim Davies, Kevin Feeney
-20% with code BOOKS
In stock at our supplier
FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings
Jeannette M. Wing, Jim Woodcook, Jim Davies
-20% with code BOOKS
In stock at our supplier
FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
Jeannette M. Wing, Jim Woodcook, Jim Davies
-20% with code BOOKS
In stock at our supplier
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Jim Davies, Leila Silva, Adenilso Simao
-20% with code BOOKS
In stock at our supplier