دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantik und Programmverifikation
دانلود کتاب معناشناسی و تأیید برنامه
مشخصات کتاب
Semantik und Programmverifikation
ویرایش: 1
نویسندگان: Prof. Dr. rer. nat. habil. Christoph Walther (auth.)
سری: TEUBNER-TEXTE zur Informatik 34
ISBN (شابک) : 9783519003366, 9783322867681
ناشر: Vieweg+Teubner Verlag
سال نشر: 2001
تعداد صفحات: 211
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب معناشناسی و تأیید برنامه: مهندسی، عمومی
در صورت تبدیل فایل کتاب Semantik und Programmverifikation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی و تأیید برنامه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی و تأیید برنامه
این کتاب مفاهیم اساسی معناشناسی زبان برنامه نویسی را با
استفاده از یک زبان برنامه نویسی تابعی ساده پوشش می دهد. با
تکیه بر این، به وظایف و مشکلات مربوط به اثبات صحت کلی و جزئی
برنامه های کاربردی ساده پرداخته می شود. به طور خاص، رابطه بین
معنای زبان برنامه نویسی و منطق رسمی نشان داده شده است.
محدودیت‌های اصلی راستی‌آزمایی \"خودکار\" بررسی می‌شوند و
ارتباط عملی این محدودیت‌ها مورد بحث قرار می‌گیرد.
توضیحاتی درمورد کتاب به خارجی
Dieses Buch behandelt Grundkonzepte der
Programmiersprachensemantik anhand einer einfachen
funktionalen Programmiersprache. Darauf aufbauend werden die
Aufgaben und Probleme bei Nachweis von totaler und partieller
Korrektheit einfacher funktionaler Programme behandelt.
Insbesondere wird der Bezug zwischen
Programmiersprachensematik und formaler Logik illustriert.
Prinzipielle Grenzen der "automatischen" Verifikation werden
untersucht und die praktische Relevanz dieser Grenzen wird
diskutiert.
فهرست مطالب
Front Matter....Pages 1-7
Formale Grundlagen....Pages 9-38
Funktionale Programme....Pages 39-138
Verifikation funktionaler Programme....Pages 139-207
Back Matter....Pages 208-212
