בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming service » programming series, programme service, programming semantics
arrays via » arrays a
1
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש