Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
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
Опубликовано 2007
Оглавление:
“... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”Полный текст
Электронный ресурс
eКнига
