Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

دانلود کتاب Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

32000 تومان موجود

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

دانلود کتاب خطای نرم افزار رایگان: دانش و دانش درستی برنامه (سری Wiley در تمرین مهندسی نرم افزار) بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 6


توضیحاتی در مورد کتاب Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

نام کتاب : Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
عنوان ترجمه شده به فارسی : خطای نرم افزار رایگان: دانش و دانش درستی برنامه (سری Wiley در تمرین مهندسی نرم افزار)
سری :
نویسندگان :
ناشر : John Wiley & Sons Inc
سال نشر : 1991
تعداد صفحات : 88
ISBN (شابک) : 0471930164 , 9780471930167
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 56 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :


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


توضیحاتی در مورد کتاب به زبان اصلی :


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.



پست ها تصادفی