語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Computer programs - Congresses. - Verification
概要
作品:
2 作品在 2 項出版品 2 種語言
書目資訊
Critical systems[electronic resource] :formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
(書目-電子資源)
Hardware and software[electronic resource] :verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Formal methods (Computer science)
Computer programs
Computer Science.
Computer logic.
Mathematical Logic and Formal Languages.
Software architecture
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer programs
Computer science.
Computer networks.
Computer Communication Networks.
Artificial intelligence.
處理中
...
變更密碼
登入