Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
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
Íomhá Chlúdaigh
Foilsithe 2013
Clár Ábhair: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
Uirlisí Cuardaigh: Faigh Fotha RSS — Seol an Cuardach seo mar Ríomhphost — Sábháil an Cuardach