Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen - Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstutzung Herausgegeben Und Eingeleitet Von Manfred Nagl (German, Paperback, 1991 ed.)

Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und ware ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, fur die Vergabe eines so span nenden Dissertationsthemas, fur die Moglichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und fur seinen vehementen Einspruch gegen viele Versuche, die Spra che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J. Schneider, der die Muhe nicht gescheut hat, fur diese doch etwas umfangreich geratene Arbeit ein Gutachten zu erstellen. Mein Dank gilt weiterhin allen jetzigen und ehemaligen Kollegen und Diploman den im IPSEN-Projekt, die - in welcher Weise auch immer - zum Gelingen meiner Ar beit beigetragen haben. Besonderen Dank schulde ich hier den IPSEN-Opas Gregor Engels und Wilhelm Schafer fur ihre Verdienste um das "Graph Grarnmar Engineering," meinem Landsmann Claus Lewerentz fur die Gelegenheit zu vielen fruchtbaren "Zwischen Tur und Angel"-Gesprachen in unserer gemeinsamen Muttersprache, meinem WG-Genossen und Arbeitskollegen Bernhard Westfechtel, dem welt besten PROGRESS-Programmierer, fur seine Diskussionsbereitschaft in allen Lebenslagen (beim Fruhstuck, Abspulen, . . ."

General

Imprint:	Deutscher Universitats Verlag
Country of origin:	United Kingdom
Series:	Duv: Datenverarbeitung
Release date:	1991
First published:	1991
Authors:	Andreas Schurr
Dimensions:	234 x 156 x 25mm (L x W x T)
Format:	Paperback - Trade
Pages:	466
Edition:	1991 ed.
ISBN-13:	978-3-8244-2021-6
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	3-8244-2021-X
Barcode:	9783824420216

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!