Helmut Eirund (Autor), Bernd Müller (Autor), Gerlinde Schreiber (Autor)
Formale Beschreibungsverfahren der Informatik
Ein Arbeitsbuch für die PraxisBeschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der ...
PREIS: