在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
specification programming » verification programming, identification programming, specification program
integrated specification » integrated specifications, integrating specification, interface specification
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
specification programming » verification programming, identification programming, specification program
integrated specification » integrated specifications, integrating specification, interface specification
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
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
出版 2013
書本目錄:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”獲取全文
電子
電子書
4
出版 2006
書本目錄:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”獲取全文
電子
電子書
5
出版 2005
書本目錄:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”獲取全文
電子
電子書
6
出版 2013
書本目錄:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”獲取全文
電子
電子書
7
出版 2011
書本目錄:
“..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”獲取全文
電子
電子書
8
出版 2008
書本目錄:
“... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”獲取全文
電子
電子書
9
出版 2014
書本目錄:
“... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”獲取全文
電子
電子書
10
出版 2005
書本目錄:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”獲取全文
電子
電子書
11
出版 2006
書本目錄:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”獲取全文
電子
電子書
12
書本目錄:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
獲取全文
獲取全文
電子
電子書
13
出版 2010
書本目錄:
“... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”獲取全文
電子
電子書
14
出版 2010
主題:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”獲取全文
電子
電子書
15
主題:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
獲取全文
獲取全文
電子
電子書
16
出版 2007
書本目錄:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”獲取全文
電子
電子書
17
出版 2005
書本目錄:
“... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”獲取全文
電子
電子書
18
出版 2008
書本目錄:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”獲取全文
電子
電子書
19
出版 2007
書本目錄:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”獲取全文
電子
電子書
20
出版 2013
書本目錄:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”獲取全文
電子
電子書