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:

Eclipse

Thomas Künneth

Eclipse

Für Java-Entwickler, die einen zeitgemäßen Einstieg in Eclipse suchen, oder sich bzgl. Eclipse auf den aktuellen Stand bringen möchten:
... Mehr

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

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

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

Weiter oder schließen

12/2018

Gruppenrichtlinien in Windows Server und Windows 10

Holger Voges, Martin Dausch

Gruppenrichtlinien in Windows Server und Windows 10

Der kompakte Leitfaden für die praktische Arbeit mit Windows Server-Gruppenrichtlinien
Die 4. Auflage dieses Buches ist Grundlagen-, Praxis- ... Mehr

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

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

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

Weiter oder schließen

12/2018

Praxisbuch IT-Dokumentation

Manuela Reiss, Georg Reiss

Praxisbuch IT-Dokumentation

• Eine ganzheitliche und nachhaltige IT-Dokumentation aufbauen
• Alle relevanten Compliance-Anforderungen erfüllen
• Optimale Umsetzung ... Mehr

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

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

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

Weiter oder schließen

12/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