مشخصات کتاب

Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie

ویرایش: 1 
نویسندگان: Prof. Dr. rer. nat. Hans-Dieter Ehrich,  Dr. rer. nat. Martin Gogolla,  Prof. Dr. rer. nat. habil. Udo Walter Lipeck (auth.)  
سری: Leitfäden und Monographien der Informatik 
ISBN (شابک) : 9783519022664, 9783322947093 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1989 
تعداد صفحات: 249 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

کلمات کلیدی مربوط به کتاب مشخصات جبری انواع داده های انتزاعی: مقدمه ای بر تئوری: مهندسی، عمومی

در صورت تبدیل فایل کتاب Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات جبری انواع داده های انتزاعی: مقدمه ای بر تئوری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات جبری انواع داده های انتزاعی: مقدمه ای بر تئوری

این کتاب از تجدید نظر و بسط یادداشت‌های سخنرانی‌هایی که از سال 1977، ابتدا توسط اولین نویسنده در دانشگاه دورتموند، و از سال 1982 توسط هر سه نویسنده به ترتیب متناوب در دانشگاه فنی براونشوایگ برگزار شده بود، پدید آمد. تمرکز کتاب بر مبانی نظری است، اما امکانات و محدودیت‌های کاربرد عملی تأثیر زیادی در انتخاب و طراحی مطالب داشته است. هدف اصلی این کتاب دانشمندان کامپیوتری است که می‌خواهند با مبانی طراحی نرم‌افزار سر و کار داشته باشند و ریاضیدانانی که به کاربردهای جبر و منطق جهانی در علوم کامپیوتر علاقه دارند. کتاب دارای ویژگی مقدماتی است. اصطلاحات و عناوین استفاده شده به طور سیستماتیک تعریف و توضیح داده شده است. با این حال، سطح مشخصی از آشنایی با اصول عمومی علوم کامپیوتر و سطح مشخصی از بلوغ ریاضی لازم است. گاه و بیگاه. برای نشان دادن ارتباطات به مفاهیم و اصطلاحاتی از تئوری زبان‌های رسمی و تئوری اتوماتا ارجاع می‌شود، اما می‌توان بدون از دست دادن ارتباط از این بخش‌ها گذشت. زمینه مشخصات جبری انواع داده های انتزاعی امروزه - پس از تقریباً دو دهه توسعه - گسترده و در بسیاری از حوزه های خاص منشعب شده است. همچنین رویکردهای کاملاً متفاوتی برای طراحی نظریه و دسترسی به آن وجود دارد. هدف این کتاب ردیابی همه این جایگزین ها و پیامدها نیست، بلکه ترسیم یک حوزه اصلی و ارائه آن به شکلی یکنواخت و ابتدایی است.

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Front Matter....Pages N2-IX
Einleitung....Pages 1-13
Spezifikation....Pages 14-34
Strukturierung....Pages 35-48
Initialität....Pages 49-60
Berechnung....Pages 61-78
Konstruktion....Pages 79-98
Verhalten....Pages 99-112
Parametrisierung....Pages 113-130
PADT-Konstruktion....Pages 131-148
Implementierung....Pages 149-172
Untersorten....Pages 173-200
Fehler und Ausnahmen....Pages 201-228
Back Matter....Pages 229-239

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Computational Methods in Large Scale Simulation

دانلود کتاب OECD Insurance Statistics 2012.

دانلود کتاب New Perspectives on the Qur’an: The Qur’an in Its Historical Context 2

دانلود کتاب Anwendung der thermomagnetischen Analyse zum Studium des Umwandlungsverhaltens von Eisenwerkstoffen im Temperaturbereich von −150°C bis +1500°C

دانلود کتاب Флора листостебельных мхов Хибинских гор.