בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
problems constructions » problems construction, problem construction, problems instructions
constructions java » constructions data, constructions a, construction japan
python problems » python programs
program python » program path, program paths, program potong
https* » http*
1
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש