Title: Theoretical Aspects of Computing - ICTAC 2009
Subjects: Data processing, Computer science, Software engineering, Algebra, Information theory, Computer software, Electronic data processing, Congresses, Model Checking, Kongress, Nebenläufigkeit, Softwareentwicklung, Entwurfsmuster, Formale Methode, Systementwicklung, Theoretische Informatik