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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The science of programming

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

مشخصات کتاب

The science of programming

دسته بندی: برنامه نويسي
ویرایش:  
نویسندگان: David Gries  
سری: Texts and Monographs in Computer Science 
ISBN (شابک) : 9780387906416, 038790641X 
ناشر: Springer 
سال نشر: 1981 
تعداد صفحات: 379 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب The science of programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

این اولین کتابی است که نظریه و اصول برنامه نویسی کامپیوتر را بر اساس این ایده که اثبات درستی و یک برنامه باید دست به دست هم داده شود، مورد بحث قرار می دهد. این روش مبتنی بر روشی است که برای اولین بار توسط دایکسترا در مونوگراف خود به نام «رشته برنامه‌نویسی» (1976) ارائه شد، که شامل «محاسباتی برای استخراج برنامه‌ها» است. اصول صریح پشت توسعه برنامه را ارائه می دهد و سپس خواننده را از طریق برنامه های نمونه با استفاده از آن اصول هدایت می کند. قضایا و محاسبات محمول به‌عنوان یک برداشت برای برنامه‌نویس ارائه می‌شوند، نه صرفاً یک موضوع مطالعه. خواننده باید با دید تازه ای در مورد تئوری و عمل برنامه نویسی و اطمینان از توسعه موثر برنامه های صحیح بیاید.

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

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.