Modellierung
Cover vergrößern

Uwe Kastens, Hans Kleine Büning

Modellierung

Grundlagen und formale Methoden


4., überarbeitete Auflage. 02/2018
308 Seiten. Flexibler Einband

Bewertung abgeben

Buch: € 42,00
Extra: E-Book inside Buch kaufen ISBN: 978-3-446-45464-4

E-Book (PDF): € 33,99
E-Book kaufen
ISBN: 978-3-446-45539-9

Sie werden nun in den E-Book-Shop weitergeleitet...

Der E-Book-Shop besitzt ein eigenständiges Warenkorbsystem.

Weiter oder schließen

Leseprobe

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.

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

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.

Als Dozent können Sie diesen Titel über das Hanser Dozentenportal als kostenloses Prüfexemplar bestellen, sich gezielt über unser umfassendes Lehrbuch-Angebot informieren und erhalten Zugriff auf exklusive Zusatzmaterialien zu unseren Lehrbüchern.
Zum Hanser Dozentenportal

Empfehlungen der Redaktion:

Kubernetes in Action

Marko Lukša

Kubernetes in Action

Mit Kubernetes große Container-Infrastrukturen ausfallsicher verwalten
Nach einer Einführung in die typischen Problemstellungen, mit denen ... Mehr

Buch kaufen · E-Book (PDF) kaufen € 50,00

Sie werden nun in den E-Book-Shop weitergeleitet...

Der E-Book-Shop besitzt ein eigenständiges Warenkorbsystem.

Weiter oder schließen

07/2018

IT-Projekte erfolgreich durchführen

Andreas Peters

IT-Projekte erfolgreich durchführen

Wenn Sie ein IT-Projekt planen und sicher sein wollen, dass es ein Erfolg wird, dann ist dieses Buch Ihr richtiger Begleiter. Von den ersten ... Mehr

Buch kaufen · E-Book (PDF) kaufen € 16,00

Sie werden nun in den E-Book-Shop weitergeleitet...

Der E-Book-Shop besitzt ein eigenständiges Warenkorbsystem.

Weiter oder schließen

07/2018

3D-Fotos und -Videos

Günter Pomaska

3D-Fotos und -Videos

3D-Fotos und -Videos erstellen und präsentieren: So geht’s!

Wünschen Sie sich beim Betrachten Ihrer Reisefotos manchmal, Sie könnten ... Mehr

Buch kaufen · E-Book (ePUB) kaufen € 32,00

Sie werden nun in den E-Book-Shop weitergeleitet...

Der E-Book-Shop besitzt ein eigenständiges Warenkorbsystem.

Weiter oder schließen

07/2018

Verlagsbereiche

FachbuchFachzeitschriftenTagungen und MessenLiteraturKinderbuch

Fachportale

FORM + WerkzeugHANSER automotiveKunststoffeKunststoffe.tvKunststoffe internationalQZ Qualität und ZuverlässigkeitWB Werkstatt + Betrieb

Wissenschaftsportale

HTM Journal of Heat Treatment and MaterialsInternational Journal of Materials ResearchInternational Polymer ProcessingKerntechnikMP Materials TestingPractical MetallographyTenside Surfactants DetergentsZeitschrift KunststofftechnikZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb

Partnerportale

automationbbr Bänder Bleche Rohreenergiespektrum:K Kompetenz für Konstrukteureg+h Gebäudetechnik und Handwerklogistik journalmaschine + werkzeug

Carl Hanser Verlag GmbH & Co. KG · Kolbergerstraße 22 · 81679 München
Telefon: +49 89 99830-0 · Fax: +49 89 984809 · E-Mail