کتاب الکترونیکی

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

The Design of Well-Structured and Correct Programs

دانلود کتاب The Design of Well-Structured and Correct Programs (به فارسی: طراحی برنامه های با ساختار و درست) نوشته شده توسط «Suad Alagic – Michael A. Arbib»

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

موضوع اصلی: الگوریتم ها و ساختارهای داده

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Suad Alagic – Michael A. Arbib

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1978

تعداد صفحه: 301

حجم کتاب: 3 مگابایت

کد کتاب: 0387902996 , 9780387902999

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

این متن ده سال تحقیق در طراحی برنامه از بالا به پایین و تأیید صحت برنامه را ترکیب می کند. نشان می دهد که چگونه می توان از این تکنیک ها در برنامه نویسی روزانه با زبان پاسکال استفاده کرد. نمونه های زیادی از برنامه ها و توسعه اثبات، و همچنین توضیحی در مورد کنترل و ساختارهای داده ارائه شده است. به عنوان یک متن برنامه نویسی 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.

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

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان