Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program verification » formal verification
verification java » verification data, verification a, verification case
program python » program path, program paths, program potong
python program » python programs, action program, python programming
https* » http*
1
Obálka
Vydáno 2013
Obsah: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
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í