0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Modellbildung in Der Informatik (German, Hardcover, 2004 ed.) Loot Price: R1,157
Discovery Miles 11 570
Modellbildung in Der Informatik (German, Hardcover, 2004 ed.): Manfred Broy, Ralf Steinbruggen

Modellbildung in Der Informatik (German, Hardcover, 2004 ed.)

Manfred Broy, Ralf Steinbruggen

Series: Xpert.Press

 (sign in to rate)
Loot Price R1,157 Discovery Miles 11 570 | Repayment Terms: R108 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter 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 Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten."

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Xpert.Press
Release date: October 2003
First published: October 2003
Authors: Manfred Broy • Ralf Steinbruggen
Dimensions: 234 x 156 x 16mm (L x W x T)
Format: Hardcover
Pages: 256
Edition: 2004 ed.
ISBN-13: 978-3-540-44292-9
Languages: German
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > General
Books > Computing & IT > Computer communications & networking > General
Books > Computing & IT > Internet > Internet languages > General
Books > Computing & IT > Applications of computing > Databases > Data capture & analysis
Promotions
LSN: 3-540-44292-8
Barcode: 9783540442929

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners