دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming from Specifications
دانلود کتاب برنامه نویسی از مشخصات
مشخصات کتاب
Programming from Specifications
ویرایش: 2
نویسندگان: Carroll Morgan
سری: Prentice Hall International Series in Computing Science
ISBN (شابک) : 9780137262250
ناشر: Prentice Hall
سال نشر: 1998
تعداد صفحات: 344
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب 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).
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mathematics for Quantum Mechanics: An Introductory Survey of Operators, Eigenvalues, and Linear Vector Spaces
دانلود کتاب BBC. The Why Factor 3 - 3/3
دانلود کتاب Creative Soccer Training 350 Smart and Practical Games and Drills to Form Intelligent Players - For Advanced Levels
