Languages
Jump To : Overview | Titles | Subjects

Meyer, Bertrand.

Overview
Works: 1 works in 6 publications in 1 languages
Titles
Objects, components, models and patterns = 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings / by: SpringerLink (Online service); Meyer, Bertrand.; Congress on Progress and Controversies in Oncological Urology (2000:); Oriol, Manuel. (Electronic resources)
Touch of class = learning to program well with objects and contracts / by: Meyer, Bertrand.; SpringerLink (Online service) (Electronic resources)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: Nordio, Martin.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Meyer, Bertrand. (Electronic resources)
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: SpringerLink (Online service); Woodcock, Jim.; Congress on Progress and Controversies in Oncological Urology (2000:); Meyer, Bertrand. (Electronic resources)
 
 
Change password
Login