Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
abstraction methods » distraction methods, extraction methods, instruction methods
methods recursion » methods recursive, methods decision, method recursive
data abstraction » data extraction, _ abstraction
recursion array » recursion arrays
array formats » array format, assay formats, array formulas
abstraction methods » distraction methods, extraction methods, instruction methods
methods recursion » methods recursive, methods decision, method recursive
data abstraction » data extraction, _ abstraction
recursion array » recursion arrays
array formats » array format, assay formats, array formulas
1
Publicat 2007
Taula de continguts:
“... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”Obtenir text complet
Electrònic
eBook
