语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Computer software - Congresses. - Verification.
概要
作品:
9 作品在 5 项出版品 5 种语言
书目信息
Verification of infinite-state systems with applications to security[electronic resource] /
by:
(书目-语言数据,印刷品)
Data flow analysis[electronic resource] :theory and practice /
by:
(书目-语言数据,印刷品)
Industrial used of formal method[electronic resource] :formal verification /
by:
(书目-语言数据,印刷品)
Correct software in web applications and web services[electronic resource] /
by:
(书目-语言数据,印刷品)
Introducing Gradle[electronic resource] /
by:
(书目-语言数据,印刷品)
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
by:
(书目-语言数据,印刷品)
Dependable software systems engineering[electronic resource] /
by:
(书目-电子资源)
Transactions on foundations for mastering change I[electronic resource] /
by:
(书目-电子资源)
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
by:
(书目-语言数据,印刷品)
主题
System theory
Computer software
Computer security
Compilers (Computer programs)
Computer software
Software engineering.
Data flow computing.
Nondestructive testing.
Systems engineering
Computer simulation.
Computer software
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer software
Mathematical Applications in Computer Science.
Algorithms.
Web applications.
Application software
Computer Science.
Computer Science, general.
Computer software
Java (Computer program language)
Computer Science.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Computer software
Formal methods (Computer science)
Computer Science.
Computer Hardware.
Computer software
Computer systems
Software Engineering.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Science.
Simulation and Modeling.
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
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 science.
Computer Science.
Artificial intelligence.
处理中
...
变更密码
登入