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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Abstraction and specification in program development

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

مشخصات کتاب

Abstraction and specification in program development

دسته بندی: پایگاه داده ها
ویرایش: 2pr. 
نویسندگان: Barbara Liskov. John V. Guttag  
سری: The MIT electrical engineering and computer science series 
ISBN (شابک) : 0262121123, 9780262121125 
ناشر: MIT Press; McGraw-Hill 
سال نشر: 1986 
تعداد صفحات: 486 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Abstraction and specification in program development به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

انتزاع و مشخصات در توسعه برنامه به متخصصان طراحی برنامه و مهندسی نرم افزار روشی ارائه می دهد که آنها را قادر می سازد برنامه هایی بسازند که قابل اعتماد و قابل درک، اصلاح و نگهداری آسان باشد. برنامه نویسی خوب مستلزم تسلط سیستماتیک بر پیچیدگی است، و این کتاب اولین درمان یکپارچه از تکنیک های انتزاع و مشخص سازی را ارائه می دهد، که، نویسندگان استدلال می کنند، که محور اصلی هر رویکرد موثر برنامه نویسی است. آنها تاکید خاصی بر استفاده از انتزاع داده برای تولید برنامه های بسیار ماژولار دارند. نویسندگان بر روند تجزیه پروژه های برنامه بزرگ به ماژول های مستقل تمرکز می کنند که می توانند به گروه های کاری مستقل اختصاص داده شوند. آنها درباره روش‌های تجزیه، انواع ماژول‌هایی که در این فرآیند بسیار مفید هستند، و تکنیک‌هایی برای افزایش احتمال اینکه ماژول‌های تولید شده می‌توانند در واقع برای حل مشکل اصلی برنامه‌نویسی دوباره ترکیب شوند، بحث می‌کنند. نمونه های زیادی از انتزاعات در سراسر متن وجود دارد و هر فصل با ارجاعات و تمرین های مربوط به پایان می رسد. بیشتر پیاده‌سازی‌های نمونه در این کتاب به زبان CLU نوشته شده‌اند، یکی از زبان‌هایی که قادر به پشتیبانی از انتزاع داده‌ها هستند. با این حال، مطالب کافی گنجانده شده است تا به خواننده اجازه دهد تا در پاسکال نیز کار کند. مطالب این کتاب توسط نویسندگان طی یک دهه تدریس در دوره های کارشناسی، کارشناسی ارشد و حرفه ای تهیه شده است. باربارا لیسکوف، توسعه دهنده CLU، پروفسور و جان گوتاگ دانشیار علوم کامپیوتر در MIT است. Abstraction and Specification in Program Development در مجموعه مهندسی برق و علوم کامپیوتر MIT گنجانده شده است.

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

Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain. Good programming involves the systematic mastery of complexity, and this book provides the first unified treatment of the techniques of abstraction and specification, which, the authors argue, are the linchpin of any effective approach to programming. They place particular emphasis on the use of data abstraction to produce highly modular programs. The authors focus on the process of decomposing large program projects into independent modules that can be assigned to independent working groups. They discuss methods of decomposition, the kinds of modules that are most useful in this process, and techniques to increase the likelihood that modules produced can in fact be recombined to solve the original programming problem. There are many examples of abstractions throughout the text, and each chapter ends with pertinent references and exercises. Most of the sample implementations in the book are written in CLU, one of a growing number of languages able to support data abstraction. Sufficient material is included, however, to allow the reader to work in Pascal as well. The material in this book was developed by the authors during a decade of teaching undergraduate, graduate, and professional-level courses. Barbara Liskov, the developer of CLU, is Professor and John Guttag an Associate Professor of Computer Science at MIT. Abstraction and Specification in Program Development is included in the MIT Electrical Engineering and Computer Science series.