Cleophas, Loek.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
SpringerLink (Online service); Cleophas, Loek.; Massink, Mieke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
Massink, Mieke.; SpringerLink (Online service); Cleophas, Loek.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Control, Robotics, Mechatronics.
Computer Applications.
Control engineering.
Software engineering.
Computer science.
Automation.
Control, Robotics, Automation.
Robotics.
Mechatronics.
Logics and Meanings of Programs.
Control and Systems Theory.
Computer Science Logic and Foundations of Programming.
Computer and Information Systems Applications.
Application software.
Artificial Intelligence.