Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους
Μεταφορά σε...
Σημειώσεις Γλωσσών Προδιαγραφής
Γενική εισαγωγή και εισαγωγή στις υπηρεσίες
Το πρόβλημα σχεδιασμού και ανάπτυξης
Σχεδιασμός βασισμένος σε συνιστώσες
Εισαγωγή στις τυπικές μεθόδους
Χρήση αυτομάτων στην περιγραφή πρωτοκόλλων
Ο λογισμός διεργασιών του Hoare
Η γλώσσα LOTOS
H γλώσσα SDL
Δοκιμές
Τελική σειρά ασκήσεων
Βαθμοί Ιουνίου 2010
Βαθμοί Β' περιόδου (Σεπτεμβρίου 2010)
Επόμενη δραστηριότητα
►
Είστε εδώ
Μαθήματα
/
►
FDT2010
/
►
Ομάδες συζήτησης
/
►
Ομάδα συζητήσεων ειδήσεων
Γενικά νέα και ανακοινώσεις
(Δεν έχουν σταλεί ακόμα ειδήσεις)