Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
processing developing » forecasting developing, housing developing
developing resource » development resource, developing research, developing pressure
java processing » data processing, data processings, data processsing
resource https » resources https, source https, resource atlas
integer java » integer data, integer base, integer dea
1
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης