Bernhard Gramlich

Frontiers of Combining Systems - 2005

978-3-540-31730-2


Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Theory of Computation
Computer Science