Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
conditions constraint » conditions contract, continuous constraint, conditions consortium
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
conditions constraint » conditions contract, continuous constraint, conditions consortium
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
1
Publicado 2008
Table of Contents:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Ligazón do recurso
Electrónico
eBook