Algebraische Spezifikation abstrakter Datentypen.pdf

Algebraische Spezifikation abstrakter Datentypen PDF

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.

HERUNTERLADEN

ONLINE LESEN

DATEIGRÖSSE 8.85 MB
ISBN 9783519022664
AUTOR Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck
DATEINAME Algebraische Spezifikation abstrakter Datentypen.pdf
VERöFFENTLICHUNGSDATUM 08/06/2020

Algebraische Spezifikation abstrakter Datentypen. Eine Einführung in die Theorie . Authors; (view affiliations). Hans-Dieter Ehrich; Martin Gogolla; Udo Walter ... Eine weitere Möglichkeit ist die mathematisch-algebraische Spezifikation, die sich nur in der Angabe der Semantik von der ...

PC und MAC

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Reader & Google Chrome.

Bonus

Versandkostenfrei für Bonuscardkunde

eBooks Online

Sofortiger Zugriff auf alle eBooks - per Download und Online-Lesen