Computer Science Algorithms Languages And Logic Msc, Chalmers