Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2013-2014 » fall semester » Λ13Β. Formal Methods and Software (2013-2014, fall semester) Anonymously browsing from at 07:49:36, 23-04-2019. login

Formal Methods and Software: 2013-2014, fall semester

For information about this course in general (not just for this specific semester), visit its page: Λ13Β. Formal Methods and Software.

Taught by: Petros Stephaneas
End date:

Teaching hours

  • every Wednesday, 18:00-20:00, Αίθουσες Πολυμέσων-κτίριο Βιβλιοθήκης, NTUA

Enrolled students


You must be logged in to comment.


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.