在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
integration specification » integrating specification, interaction specifications, integration verification
specification program » specifications program, verification program, purification program
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
program program » programs program, programming program
integration specification » integrating specification, interaction specifications, integration verification
specification program » specifications program, verification program, purification program
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
program program » programs program, programming program
1
出版 2012
书本目录:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”获取全文
电子
电子书
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版 2013
书本目录:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”获取全文
电子
电子书
3
出版 2006
书本目录:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”获取全文
电子
电子书
5
出版 2013
书本目录:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”获取全文
电子
电子书
6
出版 2013
书本目录:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”获取全文
电子
电子书
7
出版 2011
书本目录:
“..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”获取全文
电子
电子书
8
出版 2014
书本目录:
“... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”获取全文
电子
电子书
9
出版 2005
书本目录:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”获取全文
电子
电子书
10
出版 2008
书本目录:
“... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”获取全文
电子
电子书
11
出版 2006
书本目录:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”获取全文
电子
电子书
12
出版 2010
书本目录:
“... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”获取全文
电子
电子书
13
出版 2010
主题:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”获取全文
电子
电子书
14
书本目录:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
获取全文
获取全文
电子
电子书
15
出版 2007
书本目录:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”获取全文
电子
电子书
16
出版 2005
书本目录:
“... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”获取全文
电子
电子书
17
出版 2008
书本目录:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”获取全文
电子
电子书
18
出版 2007
书本目录:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”获取全文
电子
电子书
19
出版 2013
书本目录:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”获取全文
电子
电子书
20
书本目录:
“... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...”
获取全文
获取全文
电子
电子书