ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Programming from Specifications

دانلود کتاب برنامه نویسی از مشخصات

Programming from Specifications

مشخصات کتاب

Programming from Specifications

ویرایش: 2 
نویسندگان:   
سری: Prentice Hall International Series in Computing Science 
ISBN (شابک) : 9780137262250 
ناشر: Prentice Hall 
سال نشر: 1998 
تعداد صفحات: 344 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Programming from Specifications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب برنامه نویسی از مشخصات

این نسخه اصلاح شده با ارائه یک درمان کامل از اکثر تکنیک های توسعه برنامه ابتدایی، موضوعاتی مانند رویه ها، پارامترها، بازگشت و اصلاح داده ها را با ادغام مشخصات، توسعه و کدگذاری بر اساس منطق معمولی (کلاسیک) پوشش می دهد. ویژگی‌های این ویرایش دوم: بازسازی اساسی مواد قبلی، ساده‌سازی معرفی ویژگی‌های زبان برنامه‌نویسی. ارائه ساده رویه ها، پارامترها و بازگشت. فصل گسترده‌ای در مورد پالایش داده‌ها، که قوانین بسیار ساده‌تری را ارائه می‌کند که به انتزاعات عملکردی اختصاص دارد. فصل جدیدی در مورد انواع بازگشتی (درخت و غیره) و ساختارهای کنترل مناسب. و به دنبال مطالعه موردی نهایی اولیه، دو مورد کاملاً جدید: "درمان بازگشتی بزرگترین مستطیل زیر یک هیستوگرام"، و مشخصات و توسعه توسعه یافته یک سیستم پست الکترونیکی (شامل همزمانی محدود).


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

Providing a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming language features; simplified presentation of procedures, parameters and recursion; an expanded chapter on data refinement, giving the much simpler laws that specialize to functional abstractions; a new chapter on recursive types (trees etc) and appropriate control structures; and, following the original concluding case study, two completely new ones: "the recursive treatment of the largest rectangle under a histogram", and a specification and extended developnent of an electronic mail system (including limited concurrency).





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