言語:
日文
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 /
…で:
(コンピュータ・メディア)
Hardware and software[electronic resource] :verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
…で:
(コンピュータ・メディア)
主題
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.
処理
...
パスワードを変更する
ログイン