Modellbildung in der Informatik

Ralf Steinbr�ggen, Manfred Broy

ISBN 10: 3540442928 ISBN 13: 9783540442929

Verlag: Springer Berlin Heidelberg, 2003

Sprache: Deutsch

Zustand: Gebraucht - Gut Hardcover

F�r sp�ter vormerken

Verkauft von Buchpark, Trebbin, Deutschland

AbeBooks-Verk�ufer seit 30. September 2021

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Gebraucht - Gut

Preis: EUR 19,95 W�hrung umrechnen

EUR 105,00 f�r den Versand von Deutschland nach USA Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Zustand: Gut | Sprache: Deutsch | Produktart: B�cher.

Bestandsnummer des Verk�ufers 1148565/3

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Modellbildung in der Informatik

Verlag

Springer Berlin Heidelberg

Erscheinungsjahr

2003

Sprache

Deutsch

ISBN-10

3540442928

ISBN-13

9783540442929

Einband

Hardcover

Zustand

Gut

Verk�uferkataloge

B�cher

�ber diesen Titel

Inhaltsangabe

Leitlinie dieser Einf�hrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verf�gung stehen, um Informatiksysteme analysieren oder entwerfen zu k�nnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pr�gnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustands�bergangs- und Sequenzdiagramme. Inh�renter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzpr�fung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen �bertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.

Von der hinteren Coverseite

Modellierung ist ein durchg�ngiges Thema f�r unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten �berblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verst�ndnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt.

Die vorliegende Einf�hrung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch �bungsaufgaben (mit L�sungsvorschl�gen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Buchpark GmbH
Kr�gerweg 1, Trebbin, 14959, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung

Versandbedingungen

Versandkosten von Deutschland nach USA

Versandkosten von Deutschland nach USA
Bestellmenge	60 bis 60�Werktage	60 bis 60�Werktage
Erster Artikel	EUR 105.00	EUR 130.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer