مشخصات کتاب

Systematic Program Design: From Clarity to Efficiency

ویرایش: 1 
نویسندگان: Professor Yanhong Annie Liu  
سری:  
ISBN (شابک) : 1107036607, 9781107036604 
ناشر: Cambridge University Press 
سال نشر: 2013 
تعداد صفحات: 258 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

کلمات کلیدی مربوط به کتاب طراحی برنامه منظم: از وضوح تا کارایی: ابزارهای زبان Ada Ajax Assembly برنامه نویسی زبان Borland Delphi C کامپایلر CSS طراحی کامپایلرها اشکال زدایی DHTML Fortran Java Lisp Perl Prolog Python RPG Ruby Swift Visual Basic XHTML XML XSL کامپیوترهای مرجع فناوری مرجع سالنامه ها کتاب های سالنامه اطلس نقشه ها مشاغل فهرست ها فهرست ها فهرست ها فهرست ها کاربرها آداب مطالعه خارجی نقل قول های شجره نامه بقا آمادگی اضطراری آماده سازی آزمون کلمات گرامر نگارش پژوهشکده

در صورت تبدیل فایل کتاب Systematic Program Design: From Clarity to Efficiency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب طراحی برنامه منظم: از وضوح تا کارایی

یک روش طراحی سیستماتیک برنامه می تواند به توسعه دهندگان کمک کند تا از صحت و عملکرد برنامه ها اطمینان حاصل کنند و در عین حال هزینه توسعه را به حداقل برسانند. این کتاب روشی را توصیف می‌کند که با مشخصات واضح یک محاسبات شروع می‌شود و یک پیاده‌سازی کارآمد را با تجزیه و تحلیل و تحولات برنامه گام به گام به دست می‌آورد. این روش برای مشکلات مشخص شده در زبان های برنامه نویسی دستوری، پایگاه داده، تابعی، منطقی و شی گرا با داده ها، کنترل ها و انتزاعات ماژول های مختلف اعمال می شود. این کتاب که برای دوره‌ها یا خودآموزی طراحی شده است، شامل تمرین‌ها و مثال‌های متعددی است که به حداقل پیش‌زمینه علوم کامپیوتر نیاز دارند و آن را برای تازه‌کارها در دسترس قرار می‌دهند. پزشکان و محققان با تجربه از نمونه های دقیق در طیف گسترده ای از زمینه های کاربردی از جمله طراحی سخت افزار، پردازش تصویر، کنترل دسترسی، بهینه سازی پرس و جو و تجزیه و تحلیل برنامه قدردانی خواهند کرد. بخش آخر کتاب به نکاتی برای مطالعات آینده اشاره می کند.

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

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.

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

کتاب های تصادفی

دانلود کتاب Why Is There Philosophy of Mathematics At All

دانلود کتاب From Last to First: How I Became a Marathon Champion

دانلود کتاب Breaking new ground: the transgressive poetics of Claudio Rodríguez

دانلود کتاب Introduction aux fonctions analysables. Et preuve constructive de la conjecture de Dulac - Troisième cycle et recherche

دانلود کتاب International Economic Law, Globalization and Developing Countries