Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programming semantics » programming mathematics, programming series, programming secrets
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
arrays via » arrays a
1
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης