語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
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.
處理中
...
變更密碼
登入