語系
Steffen, Bernhard.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Transactions on foundations for mastering change I[electronic resource] /
by:
SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
Clark Conference ((2005 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation[electronic resource] :discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
by:
Clark Conference ((2005 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Robots
Formal methods (Computer science)
Machine learning
Computer Science.
Simulation and Modeling.