Zertifizierter Händler seit über 35 Jahren
Mo.–Fr. 8:30 – 17:00 Uhr: 0 21 91 - 99 11 00
Mo.-Fr. 8:30 - 17:00 Uhr: 0 21 91 - 99 11 00
Logo EDV-BUCHVERSAND Delf Michel
Software & Fachbücher vom Experten
Logo EDV-BUCHVERSAND Delf Michel
Software & Fachbücher vom Experten
Mo.-Fr. 8:30 - 17:00 Uhr: 0 21 91 - 99 11 00
Logo EDV-BUCHVERSAND Delf Michel
Zum Warenkorb
0
0
Acronis Logo
Adobe Logo
WithSecure Logo
Kofax Logo
embarcadero Logo
Lexware Logo
Microsoft Software Logo
SUSE Linux Logo
Symantec Logo
Veeam Logo
Tungsten Automation Logo
Acronis Logo
Adobe Logo
AutoDesk Logo
Buhl Data Service Logo
Corel Logo
CyberLink Logo
FileMaker Logo
iolo Logo
Markt+Technik Logo
NortonLifeLock Logo
Parallels Logo
embarcadero Logo
F-Secure Logo
Microsoft Software Logo
O&O Software Logo
openSUSE Logo
Kofax Logo
Lexware Logo
Nuance Dragon Logo
Symantec Logo
Veeam Logo
WithSecure Logo
Tungsten Automation Logo

Neuheiten

Jobs bei uns
Modellierung
Grundlagen und formale Methoden
Modellierung

Modellierung

Grundlagen und formale Methoden
HANSER Fachbuch
Autor:innen
Uwe Kastens, Hans Kleine Büning
308 Seiten, Softcover, 5. Auflage
Erschienen
06/2021
978-3-446-46942-6
9783446469426
€ 
€ 
Best.-Nr.:
Modellierung
Inhaltsverzeichnis
Vorwort
Leseprobe
Autor:innen
Die Modellierung ist eine typische Arbeitsmethode in der Informatik. Dabei werden die zu lösenden Aufgaben, Probleme oder Strukturen untersucht und in Modellen beschrieben, um sie im Anschluss durch den Entwurf von Software, Algorithmen, Daten oder Hardware zu lösen bzw. implementieren. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung.

Dieses Buch soll eine Übersicht über die wichtigsten Kalküle der Informatik und ein grundlegendes Verständnis für diese vermitteln. Anhand von vielen praktischen Beispielen lernen Sie die grundlegenden Modellierungstechniken kennen und werden in deren Anwendung eingeführt.

Dieses Buch vermittelt systematisch und praxisnah den Lehrstoff für Einführungsvorlesungen zur Modellierung und eignet sich für Bachelor-Studiengänge der Informatik und verwandter Fächer. Es werden behandelt:

Aus dem Inhalt

  • Modellierung mit Wertebereichen
  • Terme und Algebren
  • Logik
  • Modellierung mit Graphen
Hier das ganze Inhaltsverzeichnis lesen.
  • Modellierung von Strukturen
  • Modellierung von Abläufen
  • Fallstudien
Leseprobe
So wie der Bauarchitekt ein Gebäudemodell als Vorlage zum Bau eines Hauses entwirft, geht auch der Softwarearchitekt zum Entwurf von Software vor. Die Autoren klären in dieser Leseprobe den Begriff des Modells und zeigen am Beispiel einer Flussüberquerung mit einigen Bedingungen die Problemlösung durch ein systematisches Vorgehen.
Blick ins Buch: Modellierung

Wer hat's geschrieben?

Bild von Autor:in Uwe Kastens

Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehren Informatik an der Universität Paderborn und halten dort im Wechsel die Modellierungsvorlesung.

Bild von Autor:in Uwe Kastens
Bild von Autor:in Hans Kleine Büning

Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehren Informatik an der Universität Paderborn und halten dort im Wechsel die Modellierungsvorlesung.

Modellierung
Grundlagen und formale Methoden
Modellierung
Modellierung
Grundlagen und formale Methoden
HANSER Fachbuch
Autor:innen
Uwe Kastens, Hans Kleine Büning
308 Seiten, Softcover, 5. Auflage
Erschienen
06/2021
978-3-446-46942-6
9783446469426
€ 
€ 
Best.-Nr.:
Modellierung