Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
https composition » hops composition, states composition, status composition
programs methods » programs method, program method, problems methods
composition java » composition a, composition art, composition j.j
https composition » hops composition, states composition, status composition
programs methods » programs method, program method, problems methods
composition java » composition a, composition art, composition j.j
1
Được phát hành 2010
Mục lục:
“... to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2006
Mục lục:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2012
Mục lục:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2006
Mục lục:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2010
Mục lục:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”lấy văn bản
Điện tử
eBook
6
Mục lục:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
lấy văn bản
lấy văn bản
Điện tử
eBook
7
Được phát hành 2005
Mục lục:
“... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2011
Mục lục:
“... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2014
Mục lục:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2008
Mục lục:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2014
Mục lục:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2010
Mục lục:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2008
Mục lục:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2010
Mục lục:
“... Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2010
Mục lục:
“... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2010
Mục lục:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2007
Mục lục:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2008
Mục lục:
“... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2010
Mục lục:
“... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”lấy văn bản
Điện tử
eBook
- 1
- 2
- 3
- Tiếp theo »
- [3]