دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
دانلود کتاب مشخصات عملیاتی با Graphersetzungssystemen برنامه ریزی شده: تعاریف رسمی ، مثال برنامه ها و پشتیبانی ابزار منتشر شده و توسط Manfred Nagl
مشخصات کتاب
Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
ویرایش: 1
نویسندگان: Andreas Schürr (auth.)
سری: DUV: Informatik
ISBN (شابک) : 9783824420216, 9783663145776
ناشر: Deutscher Universitätsverlag
سال نشر: 1991
تعداد صفحات: 479
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب مشخصات عملیاتی با Graphersetzungssystemen برنامه ریزی شده: تعاریف رسمی ، مثال برنامه ها و پشتیبانی ابزار منتشر شده و توسط Manfred Nagl: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات عملیاتی با Graphersetzungssystemen برنامه ریزی شده: تعاریف رسمی ، مثال برنامه ها و پشتیبانی ابزار منتشر شده و توسط Manfred Nagl نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات عملیاتی با Graphersetzungssystemen برنامه ریزی شده: تعاریف رسمی ، مثال برنامه ها و پشتیبانی ابزار منتشر شده و توسط Manfred Nagl
1. مقدمه.- 2. مقدمه زبان غیررسمی.- 3. مبانی نظری.- 4. تعریف زبان رسمی.- 5. پشتیبانی از ابزار.- 6. خلاصه و چشم انداز.- ضمیمه A: نحو مشخص PROGRESS.- ضمیمه B: مشخصات "ExpLanguage".- ضمیمه C: مشخصات "FamilyCharts".- ضمیمه D: مشخصات "FerryMansProblem".- فهرست.
توضیحاتی درمورد کتاب به خارجی
1. Einleitung.- 2. Informelle Spracheinführung.- 3. Theoretische Grundlagen.- 4. Formale Sprachdefinition.- 5. Werkzeugunterstützung.- 6. Zusammenfassung und Ausblick.- Anhang A: Die konkrete PROGRESS-Syntax.- Anhang B: Die Spezifikation “ExpLanguage”.- Anhang C: Die Spezifikation “FamilyCharts”.- Anhang D: Die Spezifikation “FerryMansProblem”.- Stichwortverzeichnis.
فهرست مطالب
Front Matter....Pages N1-XIII
Einleitung....Pages 1-15
Informelle Spracheinführung....Pages 16-50
Theoretische Grundlagen....Pages 51-125
Formale Sprachdefinition....Pages 126-339
Werkzeugunterstützung....Pages 340-391
Zusammenfassung und Ausblick....Pages 392-394
Back Matter....Pages 395-466
