… Bernd Mahr († 2015) leitete die Arbeitsgruppe „Formale Modelle, Logik und Programmierung (FLP)“ im Institut für Telekommunikationssysteme der Technischen Universität Berlin.
Der Streichpreis bezieht sich auf die unverbindliche Preisempfehlung des Herstellers, den aktuellen durchschnittlichen Neupreis des Produktes bei idealo Deutschland, oder bei Büchern auf den festgelegten Preis für Neuware.