Name: Modellbildung in der Informatik (en Alemán)
Price: 51.52 USD
Availability: InStock
Author: Manfred Broy; Ralf Steinbrüggen
ISBN: 9783540442929

portada Modellbildung in der Informatik (en Alemán)

Modellbildung in der Informatik (en Alemán)

Formato

Libro Físico

Editorial

Springer

Autor

Manfred Broy; Ralf Steinbrüggen

Idioma

Alemán

N° páginas

266

Encuadernación

Tapa Dura

ISBN13

9783540442929

N° edición

2004th

Modellbildung in der Informatik (en Alemán)

Manfred Broy; Ralf Steinbrüggen (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 85.86$ 51.52

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 51.52

Llega entre el 03 Sep y el 16 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Modellbildung in der Informatik (en Alemán)"

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.