ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

دانلود کتاب ستون فقرات نرم افزار: طراحی نرم افزار بطور صحیح صحیح: نظریه و عمل یا مقدمه ریاضی معناشناسی برنامه رایانه

The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

مشخصات کتاب

The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

دسته بندی: ریاضیات
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 0471914746, 9780471914747 
ناشر: John Wiley & Sons Inc 
سال نشر: 1988 
تعداد صفحات: 164 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 67 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب ستون فقرات نرم افزار: طراحی نرم افزار بطور صحیح صحیح: نظریه و عمل یا مقدمه ریاضی معناشناسی برنامه رایانه

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


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

Robert Baber's original approach to the semantics of computer programs will familiarize software designers and developers with applicable results of research in the theory of proving programs correct. Throughout the book, the mathematical treatment is rigorous. A body of fundamental principles underlying computing science has been developed in recent years: these provide guidelines for the design process, and enable the software engineer to verify systematically and precisely important characteristics of proposed designs. The software engineer is thus in a position to develop error-free programs just as engineers in other fields are able to verify their designs.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی