Algebraische Spezifikation abstrakter Datentypen.pdf

Algebraische Spezifikation abstrakter Datentypen PDF

Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck

Dies Buch ist aus der Uberarbeitung und Erweiterung von Notizen zu Vorlesungen entstan­ den, die seit 1977 zuniichst vom·ersten Autor an der Universitii.t Dortmund, seit 1982 dann von allen drei Autoren in wechselrider Folge an der Technischen Universitat Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Moglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltung des Stoffes stark beeinflufit. Das Buch richtet sich vomehmlich an Informatiker, die sich mit Grundlagen des Software-Entwurfs auseinandersetzen wollen, und an Mathematiker, die sich fiir Anwendungen der universellen Algebra und der Logik in der Informatik interes­ sieren. Das Buch hat einfiihrenden Charakter. Die verwendeten Begriffe und Bezeichnungen wer­ den systematisch definiert und erl8.utert. Eine gewisse Vertrautheit mit allgemeinen Grund­ lagen der Informatik sowie eine gewisse mathematische Reife werden jedoch vorausgesetzt. Gelegentlich. wird zur illustration von Zusammenhii.ngen auf Konzepte und Begriffe aus der Theorie der formalen Sprachen und der Automatentheorie bezuggenommen, jedoch konnen diese Passagen iibergangen werden, ohne daB der Zusammenhang verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung - umfungreich und in viele Spezialgebiete verzweigt. Auch gibt es durchaus verschiedene Ansatze zur Gestaltung der Theorie und des Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen Altemativen und Verastelungen nachzuspiiren, sondem einen Kernbereich zu umreillen und diesen einheitlich und elementar darzustellen.

Results 1 - 20 of 281 ... ... Ehrich, Hans-Dieter; Gogolla, Martin; Lipeck, Udo Walter: Algebraische Spezifikation abstrakter Datentypen (1989) · Hohmann, Joachim: ...

8.13 MB DATEIGRÖSSE
9783519022664 ISBN
Algebraische Spezifikation abstrakter Datentypen.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im Hugendubel.de-Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofya Voigtuh

Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen ...

avatar
Mattio Müllers

'Algebraische Spezifikation abstrakter Datentypen' door Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck - Onze prijs: €62,06 - Verwachte levertijd ongeveer 8 werkdagen

avatar
Noels Schulzen

CiteSeerX - Scientific documents that cite the following paper: Algebraische Spezifikation Abstrakter Datentypen. Teubner-Verlag, Algebraische Spezifikation abstrakter Datentypen - Hans ...

avatar
Jason Leghmann

Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck. Pages 14-34. Strukturierung

avatar
Jessica Kolhmann

Abstrakte Datentypen v1erden gebildet aus einem Bündel von Operatio- nen auf verschiedenen Bereichen, zusammen mit Gleichungen - den Axiomen - die die ... Definition: Abstrakter Datentyp (ADT) ... Hier: Algebraische Spezifikation von ADTs mittels Gleichungen (d.h. ... Dies ist eine abstrakte Spezifikation.