Formale Beschreibungsverfahren der Informatik: Ein Arbeitsbuch für die Praxis

فرمالیسم های توصیفی از علم کامپیوتر نظری برای توصیف دقیق سیستم ها استفاده می شود. این فرمالیسم ها در بسیاری از زمینه های طراحی سیستم عملی استفاده می شوند، به عنوان مثال هنگام مشخص کردن ارتباط بین رایانه ها، توصیف پایگاه های داده یا تعیین مراحل عملیاتی مشخص در یک رابط کاربری گرافیکی.
این کتاب مهم ترین فرمالیسم های اساسی را گردآوری و جبران می کند، بنابراین کسری را جبران می کند. در این حوزه که به طور معمول در دوره های به اصطلاح علوم کامپیوتر با خط فاصله در دانشگاه های علمی کاربردی یافت می شود. برخاسته از رویدادهای این دوره ها، این کتاب می تواند به عنوان یک کتاب درسی برای همراهی با سخنرانی ها استفاده شود - در عین حال برای خودآموزی نیز مناسب است.

Beschreibungsformalismen 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 Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface.
Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.