Steinbrüggen, Ralf Modellbildung in der Informatik (Xpert.press)

'Modellbildung in der Informatik' von Ralf Steinbrüggen ist ein Fachbuch, das sich mit den Grundlagen und Methoden der Modellbildung im Bereich der Informatik befasst. Es bietet eine systematische Einführung in die Erstellung und Analyse von Modellen, die zur Lösung komplexer Probleme in der Informatik eingesetzt werden. Das Buch behandelt verschiedene Arten von Modellen, darunter mathematische Modelle, Simulationsmodelle und formale Spezifikationen. Zudem werden Techniken zur Validierung und Verifikation von Modellen vorgestellt. Der Autor legt besonderen Wert auf praktische Anwendungen und illustriert die theoretischen Konzepte durch zahlreiche Beispiele aus unterschiedlichen Bereichen der Informatik. Zielgruppe sind Studierende der Informatik sowie Praktiker, die sich mit der Modellierung von Systemen auseinandersetzen möchten.