Άδεια Χρήσης
Αναφορά
Περιγραφή
Απόδειξη της ορθότητας απλών προγραμμάτων
2015-05-13
11
Δημιουργός
Μωυσιάδης Ελευθέριος
Ιδιότητα
Επίκουρος Καθηγητής
Τομέας/Κλινική/Εργαστήριο
Τμήμα
Μηχανικών Πληροφορικής
Ίδρυμα
ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΑΝ. ΜΑΚΕΔΟΝΙΑΣ ΚΑΙ ΘΡΑΚΗΣ
Είδος
Διάλεξη
Ομιλητές
Μωυσιάδης Ελευθέριος Επίκουρος Καθηγητής
Μάθημα
Εισαγωγή στον Προγραμματισμό
Εξάμηνο
1o
Κωδικός Μαθήματος
(εσ) c5025fd0
(Κωδική Ονομασία) c5025fd0
(Γραμματεία)
---
(LMS)
---
Διαμόρφωση Πολυμεσικού Αρχείου-Διάρκεια
MP4
-
01:25:30.33
Πηγή
Συνεργείο Eικονοληψίας
Αίθουσα
Μη διαθέσιμο
Τύπος Παρουσίασης-Διάρκεια
Μη διαθέσιμο
-
Μη διαθέσιμο
Υπότιτλοι
Μη διαθέσιμο
Θεματικές Κατηγορίες
Επιστήμες Υπολογιστών, Πληροφορικής, Τηλεπικοινωνιών
Λέξεις Κλειδιά
προδιαγραφές προγράμματος
απόδειξη ορθότητας ή επαλήθευση προγράμματος
συνθήκες επαλήθευσης
αξιώμα της εκχώρησης