Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional program » composition programs, computational program, compositional problems
https compositional » nets compositional, chains compositional, charts compositional
program method » programs method, program mentor, programming method
program https » programs https, program has, program help
method https » methods https
compositional program » composition programs, computational program, compositional problems
https compositional » nets compositional, chains compositional, charts compositional
program method » programs method, program mentor, programming method
program https » programs https, program has, program help
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
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”View full text
Electronic
eBook
5
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
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 2005
Table of Contents:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel...”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
by van den Boogaart, K. Gerald., van den Boogaart, K. Gerald., Tolosana-Delgado, Raimon.
Published 2013
Table of Contents:
“...Introduction -- Fundamental Concepts of Compositional Data Analysis -- Distributions for Random...”Published 2013
View full text
Electronic
eBook
13
Published 2011
Table of Contents:
“... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
17
Published 2015
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”View full text
Electronic
eBook