- Bliv medlem
-
Du er ikke logget ind
Log ind Opret dig
Du er ikke logget ind
Beskrivelse
Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.
