دانلود کتاب 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
عنوان ترجمه شده به فارسی : ستون فقرات نرم افزار: طراحی نرم افزار قابل اثبات صحیح: تئوری و عمل یا مقدمه ریاضی بر معناشناسی برنامه کامپیوتری
سری :
نویسندگان : Robert Laurence Baber
ناشر : John Wiley & Sons Inc
سال نشر : 1988
تعداد صفحات : 164
ISBN (شابک) : 0471914746 , 9780471914747
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 67 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
رویکرد اصلی رابرت بابر به معناشناسی برنامه‌های رایانه‌ای، طراحان و توسعه‌دهندگان نرم‌افزار را با نتایج تحقیقات کاربردی در تئوری اثبات درستی برنامه‌ها آشنا خواهد کرد. در سراسر کتاب، درمان ریاضی دقیق است. مجموعه‌ای از اصول اساسی زیربنای علم محاسبات در سال‌های اخیر توسعه یافته‌اند: این اصول دستورالعمل‌هایی را برای فرآیند طراحی ارائه می‌کنند و مهندس نرم‌افزار را قادر می‌سازد تا به طور سیستماتیک و دقیق ویژگی‌های مهم طرح‌های پیشنهادی را تأیید کند. بنابراین مهندس نرم افزار در موقعیتی قرار دارد که برنامه های بدون خطا را توسعه دهد، همانطور که مهندسان در سایر زمینه ها قادر به تأیید طرح های خود هستند.
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی