בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decisions » programming decision, programming design, programming session
decisions array » decisions great, decisions grey, decisions essays
1
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש