دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 2
نویسندگان: Carroll Morgan
سری: Prentice Hall International Series in Computing Science
ISBN (شابک) : 9780137262250
ناشر: Prentice Hall
سال نشر: 1998
تعداد صفحات: 344
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب 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).