語系
VSTTE (Conference) (2016 :)
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
VSTTE (Conference) (2016 :); Blazy, Sandrine.; Chechik, Marsha.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Compilers (Computer programs)
Logics and Meanings of Programs.
Computer software- Quality control
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer software- Verification
Computer Science.