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

خطا در نرم افزار رایگان: دانش و دانش درستی برنامه

Error Free Software: Know-how and Know-why of Program Correctness

دانلود کتاب Error Free Software: Know-how and Know-why of Program Correctness (به فارسی: خطا در نرم افزار رایگان: دانش و دانش درستی برنامه) نوشته شده توسط «Robert Laurence Baber»


اطلاعات کتاب خطا در نرم افزار رایگان: دانش و دانش درستی برنامه

موضوع اصلی: برنامه نويسي

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

ناشر: John Wiley & Sons Inc

نویسنده: Robert Laurence Baber

زبان: English

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

سال انتشار: 1991

تعداد صفحه: 88

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

کد کتاب: 9780471930167 , 0471930164

توضیحات کتاب خطا در نرم افزار رایگان: دانش و دانش درستی برنامه

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


Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.

دانلود کتاب «خطا در نرم افزار رایگان: دانش و دانش درستی برنامه»

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

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