توضیحات
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic, and object-oriented programming languages with different data, control, and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization, and program analysis. The last section of the book points out directions for future studies.
————————————————————–
ترجمه ماشینی :
یک روش طراحی برنامه سیستماتیک می تواند به توسعه دهندگان کمک کند تا ضمن به حداقل رساندن هزینه توسعه ، از صحت و عملکرد برنامه ها اطمینان حاصل کنند. این کتاب روشی را توصیف می کند که با مشخصات واضح یک محاسبات شروع می شود و با استفاده از تجزیه و تحلیل و تحولات برنامه گام به گام ، یک اجرای کارآمد را انجام می دهد. این روش در مورد مشکلات مشخص شده در زبان های برنامه نویسی ضروری ، پایگاه داده ، عملکردی ، منطق و شیء گرا با داده های مختلف ، کنترل و انتزاع ماژول اعمال می شود. این کتاب که برای دوره ها یا خودآموزی طراحی شده است ، شامل تمرینات و نمونه های بی شماری است که به حداقل سابقه علوم رایانه نیاز دارند و آن را در دسترس تازه کارها قرار می دهد. پزشکان و محققان باتجربه از نمونه های تفصیلی در طیف گسترده ای از زمینه های کاربردی از جمله طراحی سخت افزار ، پردازش تصویر ، کنترل دسترسی ، بهینه سازی پرس و جو و تجزیه و تحلیل برنامه قدردانی می کنند. بخش آخر کتاب به دستورالعمل های مربوط به مطالعات آینده اشاره می کند.
tag : دانلود کتاب طراحی برنامه سیستماتیک: از وضوح گرفته تا کارآیی , Download طراحی برنامه سیستماتیک: از وضوح گرفته تا کارآیی , دانلود طراحی برنامه سیستماتیک: از وضوح گرفته تا کارآیی , Download Systematic Program Design: From Clarity to Efficiency Book , طراحی برنامه سیستماتیک: از وضوح گرفته تا کارآیی دانلود , buy طراحی برنامه سیستماتیک: از وضوح گرفته تا کارآیی , خرید کتاب طراحی برنامه سیستماتیک: از وضوح گرفته تا کارآیی , دانلود کتاب Systematic Program Design: From Clarity to Efficiency , کتاب Systematic Program Design: From Clarity to Efficiency , دانلود Systematic Program Design: From Clarity to Efficiency , خرید Systematic Program Design: From Clarity to Efficiency , خرید کتاب Systematic Program Design: From Clarity to Efficiency ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.