語系
ISoLA (Symposium) (2016 :)
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I /
by:
ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II /
by:
ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Robots- Programming
Logics and Meanings of Programs.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Machine learning
Computer software- Verification
Computer Science.