Modellierung

Grundlagen und formale Methoden

Uwe Kastens, Hans Kleine Büning (Autoren)

Buch | Hardcover

308 Seiten

2018 | 4., überarbeitete Auflage
Carl Hanser (Verlag)
978-3-446-45464-4 (ISBN)

Infos

eBook inside
Zu diesem Buch erhalten Sie kostenlos ein eBook dazu.

Die Modellierung ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben. Erst danach werden sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert.

Dieses Buch hilft Ihnen, seien Sie Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik, die Grundlagen der Modellierung zu beherrschen. Ideal für Einführungsvorlesungen zur Modellierung und für die Bachelorstudiengänge der Informatik und verwandter Fächer.

Wie? Anhand von vielen praktischen Beispielen lernen Sie die grundlegenden Methoden und Kalküle zur Modellierung kennen. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung.

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.

Inhalt

Aus dem Inhalt:
• Systematische Darstellung von Modellierungstechniken und –kalkülen
• Modellierung mit Wertebereichen
• Terme und Algebren
• Logik
• Modellierung mit Graphen
• Modellierung von Strukturen
• Modellierung von Abläufen
• Fallstudien

Produkt-Details

• Erscheinungsdatum: 08.02.2018
• Verlagsort: München
• Sprache: deutsch
• Maße: 172 x 242 mm
• Gewicht: 570 g
• Einbandart: gebunden
• Themenwelt: Informatik ► Theorie / Studium ► Algorithmen
• Schlagworte: Grundbegriffe • Grundlagen Informatik • Hardware-Modellierung • Modellierung • Programmieren • Programmierung • Softwareentwicklung • Software-Modellierung
• ISBN-10: 3-446-45464-0 / 3446454640
• ISBN-13: 978-3-446-45464-4 / 9783446454644
• Zustand: Neuware