Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
induction automated » induction automatic, injection automated, education automated
automated methods » automated method, automatic method
methods recursion » methods recursive, methods decision, method recursive
recursion array » recursion arrays
induction automated » induction automatic, injection automated, education automated
automated methods » automated method, automatic method
methods recursion » methods recursive, methods decision, method recursive
recursion array » recursion arrays
1
Vydáno 2015
Obsah:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... -- Order, Topology, and Recursion Induction in CSP -- Security -- Verifying Security Protocols...”Získat plný text
Elektronický zdroj
E-kniha