Τυπικές Μέθοδοι και Λογισμικό (Θεωρία κατηγοριών και εφαρμογές αλγεβρικών προδιαγραφών): 2013-2014, χειμερινό εξάμηνο
For information about this course in general (not just for this specific semester), visit its page: Λ13Β. Τυπικές Μέθοδοι και Λογισμικό (Θεωρία κατηγοριών και εφαρμογές αλγεβρικών προδιαγραφών).
Taught by: | Πέτρος Στεφανέας |
---|---|
End date: |
Teaching hours
- every Τετάρτη, 18:00-20:00, Αίθουσες Πολυμέσων-κτίριο Βιβλιοθήκης, NTUA
Comments