Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
arrays via » arrays a
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
arrays via » arrays a
1
Published 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Authentication via Distributed Web Application -- Skeleton Extraction of 2D Objects Using Shock Wavefront...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”View full text
Electronic
eBook