Modellierung: Grundlagen und formale Methoden
Kurzinformation
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
Das Buch "Modellierung: Grundlagen und formale Methoden" von Hans Kleine Büning ist ein umfassendes Lehrbuch, das sich auf die Theorie und Praxis der Modellierung konzentriert. Es behandelt eine breite Palette von Themen, darunter grundlegende Konzepte der Modellierung, formale Methoden zur Beschreibung und Analyse von Modellen sowie verschiedene Anwendungen in Bereichen wie Softwareentwicklung, Datenbankdesign und wissenschaftliche Simulation. Das Buch betont den formalen Ansatz zur Modellierung und bietet zahlreiche Beispiele und Übungen zur Vertiefung des Verständnisses. Ein besonderer Fokus liegt dabei auf logischen und algebraischen Techniken. Darüber hinaus werden auch aktuelle Forschungsthemen in der Modellierung beleuchtet.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehrten Informatik an der Universität Paderborn und hielten dort im Wechsel die Modellierungsvorlesung.
- Hardcover
- 404 Seiten
- Erschienen 2019
- Springer Spektrum
- Hardcover -
- Erschienen 2004
- Springer
- ring_bound -
- Erschienen 2012
- Naumann Göbel