Raamatud Jim Davies
Specification and Proof in Real Time CSP
-30% koodiga BOOKS
Meie tarnija laos
Illustrating Armageddon: Matania and the First World War
-30% koodiga BOOKS
Meie tarnija laos
Being the Person Your Dog Thinks You Are: The Science of a Better You
-30% koodiga BOOKS
Meie tarnija laos
Engineering Agile Big-Data Systems
James Welch, Jim Davies, Kevin Feeney
-30% koodiga BOOKS
Meie tarnija laos
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
-30% koodiga BOOKS
Meie tarnija laos
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
-30% koodiga BOOKS
Meie tarnija laos
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
-30% koodiga BOOKS
Meie tarnija laos