Schreiber, Gerlinde Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis)

'Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis' von Gerlinde Schreiber ist ein praxisorientiertes Lehrbuch, das sich mit den theoretischen Grundlagen und praktischen Anwendungen formaler Beschreibungsmethoden in der Informatik beschäftigt. Das Buch bietet eine umfassende Einführung in verschiedene formale Methoden, die zur Spezifikation, Verifikation und Modellierung von Softwaresystemen verwendet werden. Es behandelt Themen wie formale Sprachen, Automaten, Logiken und Petri-Netze und legt dabei besonderen Wert auf die Anwendbarkeit dieser Methoden in realen Projekten. Durch zahlreiche Beispiele und Übungen wird dem Leser ermöglicht, das erworbene Wissen direkt anzuwenden und zu vertiefen. Das Buch richtet sich sowohl an Studierende der Informatik als auch an Praktiker, die ihr Wissen über formale Methoden erweitern möchten.