語系
Nordio, Martin.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineeringInternational Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(1998 :); Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service)
(書目-電子資源)
Tools for practical software verificationLASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(1998 :); Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service)
(書目-電子資源)
Software engineering approaches for offshore and outsourced development4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010 : proceedings /
by:
(1998 :); Nordio, Martin.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Organization/Planning.
Contracting out
Computer Science.