|
|
books
| book details |
Modellbildung in der Informatik
By (author) Manfred Broy, By (author) Ralf Steinbrüggen
|
| on special |
normal price: R 1 195.95
Price: R 1 136.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 3 Oct 2013
Language | German
Format | Paperback / softback
Pages | 256
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6426-2267-0
Readership Age |
BISAC |
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
This is indeed a story of mercy and the redemption it offers.
|
Victor Frankenstein driven by the mad dream of creating his own creature, experiments with alchemy and science to build a monster stitched together from dead remains.
|
|
Mary Shelley
Paperback / softback
112 pages
was: R 285.95
now: R 251.95
|
York Notes Advanced offer a fresh and accessible approach to English Literature.
|
|
Katie Daysh
Paperback / softback
384 pages
was: R 295.95
now: R 259.95
|
|
|
|
|
