Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
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
Azala
Argitaratua 2013
Aurkibidea: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
Testu osoa
Baliabide elektronikoa eBook
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali — Bilaketa gorde