Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
processes compositional » process compositional, processes compositions, processes computational
compositional program » composition programs, computational program, compositional problems
java processes » java processors, java processor, data processes
program https » programs https, program has, program help
integer java » integer data, integer base, integer dea
1
Obálka
Vydáno 2007
Obsah: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2010
Obsah: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2007
Obsah: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání