مشخصات کتاب

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

ویرایش:  
نویسندگان: Robert Laurence Baber  
سری:  
ISBN (شابک) : 0471930164, 9780471930167 
ناشر: John Wiley & Sons Inc 
سال نشر: 1991 
تعداد صفحات: 88 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 56 مگابایت 

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

در صورت تبدیل فایل کتاب Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

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

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

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.

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

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

دانلود کتاب Creating Performances for Teaching and Learning: A Practice Session for Pedagogy

دانلود کتاب Supernatural Selection: How Religion Evolved

دانلود کتاب Warm and Welcoming: How the Jewish Community Can Become Truly Diverse and Inclusive in the 21st Century

دانلود کتاب Making Sense Of Field Research: A Practical Guide For Information Designers

دانلود کتاب The Brunn-Minkowski Inequality and a Minkowski Problem for Nonlinear Capacity