TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.


		Chair for Foundations of Software Reliability and Theoretical Computer Science


	lectures


	Diskrete Wahrscheinlichkeitstheorie Grundlagen der (diskreten) Wahrscheinlichkeitstheorie, elementare Statistik, probabilistische Algorithmen und ihre Analyse Model Checking Petri nets


	seminars


	Master-Seminar: Never-ending Games Infinite games in verification Master-Seminar: Software Verification


	practical courses


	Bachelor-Praktikum: Lego Mindstorms

Information about older courses can be found on our former server.