בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
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
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש