語系
Meyer, Bertrand.
概要
作品: | 1 作品在 6 項出版品 1 種語言 |
---|
書目資訊
Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
by:
Paige, Richard F.; Meyer, Bertrand.; SpringerLink (Online service)
(書目-電子資源)
Software engineering approaches for offshore and outsourced development = third international conference, SEAFOOD 2009, Zurich, Switzerland, July 2 - 3, 2009 : Proceedings /
by:
Meyer, Bertrand.; SpringerLink (Online service); Joseph, Mathai.; Gotel, Olly.
(書目-電子資源)
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.
(書目-電子資源)
主題
Software Engineering.
Contracting out
Computer software.
Operating Systems.
Software engineering.
Computer software- Development.
Object-oriented programming (Computer science)
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Models and Principles.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Organization/Planning.
Computer software- Verification
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)