Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming generative » programming generating, programming imperative, programming interactive
generative arrays » generative organs, iterative arrays, generator arrays
arrays via » arrays a
1
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης