Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
abstraction methods » distraction methods, extraction methods, instruction methods
based abstraction » based extraction, data abstraction, based interaction
methods recursion » methods recursive, methods decision, method recursive
recursion array » recursion arrays
array formats » array format, assay formats, array formulas
abstraction methods » distraction methods, extraction methods, instruction methods
based abstraction » based extraction, data abstraction, based interaction
methods recursion » methods recursive, methods decision, method recursive
recursion array » recursion arrays
array formats » array format, assay formats, array formulas
1
Published 2015
Table of Contents:
“... -- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives -- FAUST2: Formal Abstractions...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”View full text
Electronic
eBook