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