Computer software - Congresses. - Verification.

Verification of infinite-state systems with applications to security[electronic resource] / …で: (言語・文字資料 (印刷物))

Data flow analysis[electronic resource] :theory and practice / …で: (言語・文字資料 (印刷物))

Industrial used of formal method[electronic resource] :formal verification / …で: (言語・文字資料 (印刷物))

Correct software in web applications and web services[electronic resource] / …で: (言語・文字資料 (印刷物))

Introducing Gradle[electronic resource] / …で: (言語・文字資料 (印刷物))

Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs / …で: (言語・文字資料 (印刷物))

Dependable software systems engineering[electronic resource] / …で: (コンピュータ・メディア)

Transactions on foundations for mastering change I[electronic resource] / …で: (コンピュータ・メディア)

Deductive software verification - The KeY Book[electronic resource] :from theory to practice / …で: (言語・文字資料 (印刷物))

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.