Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis | lit.salon