Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
composition programs » compensation programs, composition problem, compression programs
programming method » programming methods, programming methodology
https composition » hops composition, states composition, status composition
method https » methods https
composition programs » compensation programs, composition problem, compression programs
programming method » programming methods, programming methodology
https composition » hops composition, states composition, status composition
method https » methods https
1
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
3
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”View full text
Electronic
eBook
6
Table of Contents:
“... in Rule Program Verification -- Chap. 9 - A Verification Method for Rule Programs -- Chap. 10...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”View full text
Electronic
eBook
10
Published 2012
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
11
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
15
Published 2015
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook