دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formale Grundlagen der Programmierung
دانلود کتاب مبانی رسمی برنامه نویسی
مشخصات کتاب
Formale Grundlagen der Programmierung
ویرایش: 1
نویسندگان: Markus Nebel (auth.)
سری: Studienbücher Informatik
ISBN (شابک) : 9783834818898, 9783834822963
ناشر: Vieweg+Teubner Verlag
سال نشر: 2012
تعداد صفحات: 198
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 74,000
کلمات کلیدی مربوط به کتاب مبانی رسمی برنامه نویسی: منطق و معانی برنامه ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل
در صورت تبدیل فایل کتاب Formale Grundlagen der Programmierung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی رسمی برنامه نویسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی رسمی برنامه نویسی
این کتاب درسی مقدمه ای فشرده و قابل فهم برای مبانی رسمی برنامه نویسی ارائه می دهد. از نحو گرفته تا معناشناسی و تأیید تا شکستپذیری، همه موضوعات مرتبط به شیوهای مستدل ارائه میشوند.
توضیحاتی درمورد کتاب به خارجی
Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt.
فهرست مطالب
Front Matter....Pages 1-1
Einleitung....Pages 1-2
Syntax von Programmiersprachen – Formale Sprachen und Automaten....Pages 3-86
Semantik von Programmiersprachen....Pages 87-116
Die Grenzen des Berechenbaren....Pages 117-180
Anhang....Pages 181-189
Back Matter....Pages 7-7
