Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programming verification » program verification, programs verification, programming classification
functions conditional » functions functional, functional conditioning, functions computational
programming animation » programming validation, programming negation, programming application
basic citrus » bali citrus, asian citrus, barli citrus
programming verification » program verification, programs verification, programming classification
functions conditional » functions functional, functional conditioning, functions computational
programming animation » programming validation, programming negation, programming application
basic citrus » bali citrus, asian citrus, barli citrus
1
Έκδοση 2013
Πίνακας περιεχομένων:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
