Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
computational programming » computation programming, computational program, computing programming
section computational » prediction computational, design computational, effective computational
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays via » arrays a
1
Obálka
Vydáno 2015
Obsah: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
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í