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

Name: The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
Availability: InStock
Author: Robert Laurence Baber
ISBN: 0471914746, 9780471914747

by Robert Laurence Baber

عنوان فارسی: ستون فقرات از نرم افزار: طراحی نرم افزار اثبات صحیح: نظریه و عمل یا یک مقدمه ریاضی به معناشناسی برنامه کامپیوتر
ناشر: John Wiley & Sons Inc
سال: 1988
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 164-164
شابک: 0471914746, 9780471914747
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 67.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!