Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
conditional programming » additional programming, functional programming, nutritional programming
programming recursion » programming decision, programming session, programming decisions
using conditional » using conventional, using traditional
recursion arrays » recursion versus
arrays via » arrays a
1
Obálka
Vydáno 2007
Obsah: “...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...”
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í