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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Design of Well-Structured and Correct Programs

دانلود کتاب طراحی برنامه های با ساختار و درست

مشخصات کتاب

The Design of Well-Structured and Correct Programs

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: Suad Alagic. Michael A. Arbib  
سری: Texts and Monographs in Computer Science 
ISBN (شابک) : 0387902996, 9780387902999 
ناشر: Springer 
سال نشر: 1978 
تعداد صفحات: 301 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب The Design of Well-Structured and Correct Programs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب طراحی برنامه های با ساختار و درست

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

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

This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are pro- vided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is nec- essary beyond the basic idea of a mathematical proof. A carefully chosen sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.