Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming verification » program verification, programs verification, programming classification
programming validation » programming validating, programming evaluation, programming animation
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
1
Obálka
Vydáno 2013
Obsah: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
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í