語系
跳至 : 概要 | 書目資訊 | 主題

Meyer, Bertrand.

概要
作品: 1 作品在 6 項出版品 1 種語言
書目資訊
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. (書目-電子資源)
Touch of class = learning to program well with objects and contracts / by: Meyer, Bertrand.; SpringerLink (Online service) (書目-電子資源)
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. (書目-電子資源)
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. (書目-電子資源)
 
 
變更密碼
登入