Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
program solving » programs solving, program moving, program serving
program python » program path, program paths, program potong
python program » python programs, action program, python programming
1
Εξώφυλλο
ανά Shankar, A. Udaya., Shankar, A. Udaya.
Έκδοση 2013
Πίνακας περιεχομένων: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης