Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming inductive » programming interactive, programming industrial, programming active
inductive array » inductive rural, inductive program
array a » array _
1
Obálka
Vydáno 2010
Obsah: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
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í