مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب مشخصات عملیاتی با 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

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

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

دانلود کتاب Premium 2nd Edition Advanced Dungeons & Dragons Player’s Handbook

دانلود کتاب The Virgin of Aldermanbury: Rebirth of the City of London

دانلود کتاب X Toolkit Intrinsics Ref Man R5 (Definitive Guides to the X Window System)

دانلود کتاب Tense and Aspect in English

دانلود کتاب Bayesian Speech and Language Processing