2014—2015

PROG2 (12h)

Object-Oriented Programming

Unix (5h)

Introduction to Unix

2013–2014

PROG2 (12h)

Object-Oriented Programming

SEM (16h)

Programming Language Semantics

APF (40h)

Introduction to Algorithmics

Unix (5h)

Introduction to Unix

2012–2013

PROG2 (12h)

Object-Oriented Programming

SEM (24h)

Programming Language Semantics

MFDS (28h)

Formal Methods