語系
ISoLA (Symposium) (2014 :)
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
by:
ISoLA (Symposium) (2014 :); Lamprecht, Anna-Lena.; SpringerLink (Online service); ISoLA (Symposium) (2012 :)
(書目-電子資源)
主題
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
Robots- Programming
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Computers.
Computer simulation.
Database Management.
Computation by Abstract Devices.
Formal methods (Computer science)
Software engineering.
Database management.
Machine learning
Mathematical Logic and Formal Languages
Computer software- Verification
Computer science.
Simulation and Modeling
Computer Science.
Simulation and Modeling.
Logics and Meanings of Programs
Computation by Abstract Devices