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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Way of Z: Practical Programming with Formal Methods

دانلود کتاب راه Z: برنامه نویسی عملی با روش های رسمی

مشخصات کتاب

The Way of Z: Practical Programming with Formal Methods

دسته بندی: برنامه نويسي
ویرایش:  
نویسندگان: Jonathan Jacky  
سری:  
ISBN (شابک) : 0521559766, 9780521559768 
ناشر: Cambridge University Press 
سال نشر:  
تعداد صفحات: 370 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

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

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

در صورت تبدیل فایل کتاب The Way of Z: Practical Programming with Formal Methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

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

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

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.