Formale Beschreibungsverfahren der Informatik - Gerlinde Schreiber - E-bok | Bokus