mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2013-2014 » fall semester » Λ13Β. Formal Methods and Software (2013-2014, fall semester) Anonymously browsing from 3.95.23.35 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

Comments

You must be logged in to comment.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
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.