Angewandte Informatik und Formale Beschreibungsverfahren by Georg Lausen | Menrva Books | MenrvaBooks