UnternehmensanwendungenHelmut Eirund ×Vieweg & Teubner × Formale Beschreibungsverfahren der InformatikEin Arbeitsbuch für die PraxisHelmut EirundVieweg & TeubnerSoftcover2000