Modellbildung in Der Informatik

Name: Modellbildung in Der Informatik
SKU: 26936748
Price: 83.99 AUD
Availability: InStock

By:

Format:

Paperback

Series:

Xpert.Press

Show Hide Adult Content

$83.99 was ~~$101.99~~

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

Afterpay is available on orders $100 to $2000 Learn more

Availability

Delivering to:

Estimated arrival:

Around 19 Jun - 1 Jul using International Courier

Description

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.

Release date Australia

October 3rd, 2013

Author

Series

Xpert.Press

Pages

256

Edition

Softcover Reprint of the Origi ed.

Audience

General (US: Trade)

Illustrations

black & white illustrations, bibliography

Publisher

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Country of Publication

Germany

Imprint

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Dimensions

156x234x14

ISBN-13

9783642622670

Product ID

26936748

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here