ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Programmverifikation: Sequentielle, parallele und verteilte Programme

دانلود کتاب تأیید برنامه: برنامه های متوالی، موازی و توزیع شده

Programmverifikation: Sequentielle, parallele und verteilte Programme

مشخصات کتاب

Programmverifikation: Sequentielle, parallele und verteilte Programme

ویرایش: [1 ed.] 
نویسندگان: ,   
سری: Springer-Lehrbuch 
ISBN (شابک) : 9783540574798, 9783642579479 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1994 
تعداد صفحات: 258
[267] 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb

قیمت کتاب (تومان) : 30,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Programmverifikation: Sequentielle, parallele und verteilte Programme به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب تأیید برنامه: برنامه های متوالی، موازی و توزیع شده

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


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

Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr|~eres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur L|sung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschlu~ und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairne~-Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich f}r ein- oder zweisemestrige Vorlesungen }ber Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von ]bungsaufgaben und bibliographischen Hinweisen. Das Buch f}hrt auch an aktuelle Themen der Forschung heran.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی