
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.
- paperback
- 448 Seiten
- Erschienen 2008
- Springer
- paperback -
- Erschienen 1992
- Lethielleux
- hardcover
- 464 Seiten
- Erschienen 2022
- Wiley
- Hardcover
- 324 Seiten
- Erschienen 2002
- Springer