Ειδικά Θέματα: Προηγμένα Θέματα Μεταγλωττιστών και Ανάλυσης Προγραμμάτων (M221)
Γιάννης Σμαραγδάκης
Το μάθημα δεν χρησιμοποιεί το e-class για επικοινωνία. Ελέγξτε τη σελίδα του διδάσκοντα για τη σελίδα του μαθήματος, η οποία περιέχει συνδέσμους για το/τα φόρουμ επικοινωνίας του τρέχοντος εξαμήνου.
Για το εαρινό εξάμηνο 2021, οι διαλέξεις θα γίνονται εδώ:
https://us02web.zoom.us/j/187653216?pwd=Sjd5dGNrYkhDMCtQOVRwc0Q3VFNTQT09
Το μάθημα έχει σαν βασικούς άξονες:
- στατική ανάλυση προγραμμάτων
- χρησιμοποιώντας λογικές προδιαγραφές
- με πλατφόρμα εφαρμογής τα Ethereum smart contracts (μικρά προγράμματα, που θέλουμε να τα αναλύσουμε για ενδιαφέρουσες ιδιότητες).
Το μάθημα δεν χρησιμοποιεί το e-class για επικοινωνία. Ελέγξτε τη σελίδα του διδάσκοντα για τη σελίδα του μαθήματος, η οποία περιέχει συνδέσμους για το/τα φόρουμ επικοινωνίας του τρέχοντος εξαμήνου.
Για το εαρινό εξάμηνο 2021, οι διαλέξεις θα γίνονται εδώ:
https://us02web.zoom.us/j/187653216?pwd=Sjd5dGNrYkhDMCtQOVRwc0Q3VFNTQT09
Το μάθημα έχει σαν βασικούς άξονες:
- στατική ανάλυση προγραμμάτων
- χρησιμοποιώντας λογικές προδιαγραφές
- με πλατφόρμα εφαρμογής τα Ethereum smart contracts (μικρά προγράμματα, που θέλουμε να τα αναλύσουμε για ενδιαφέρουσες ιδιότητες).
Το μάθημα δεν χρησιμοποιεί το e-class για επικοινωνία. Ελέγξτε τη σελίδα του διδάσκοντα για τη σελίδα του μαθήματος, η οποία περιέχει συνδέσμους για το/τα φόρουμ επικοινωνίας του τρέχοντος εξαμήνου.
Για το εαρινό εξάμηνο 2021, οι διαλέξεις θα γίνονται εδώ:
https://us02web.zoom.us/j/187653216?pwd=Sjd5dGNrYkhDMCtQOVRwc0Q3VFNTQT09
Το μάθημα έχει σαν βασικούς άξονες:
- στατική ανάλυση προγραμμάτων
- χρησιμοποιώντας λογικές προδιαγραφές
- με πλατφόρμα εφαρμογής τα Ethereum smart contracts (μικρά προγράμματα, που θέλουμε να τα αναλύσουμε για ενδιαφέρουσες ιδιότητες).
Ημερολόγιο
Ανακοινώσεις
- - Δεν υπάρχουν ανακοινώσεις -
