دانلود کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
ستون فقرات نرم افزار: طراحی نرم افزار قابل اثبات درست: نظریه و عمل یا مقدمه ای ریاضی در معنای برنامه کامپیوتر
زبان : English
نویسندگان : Robert Laurence Baber
ناشر : John Wiley & Sons Inc
سال انتشار : 1988
ISBN (شابک) : 0471914746, 9780471914747
ویرایش : [1 ed.]
سری : Cambridge texts in the history of philosophy
تعداد صفحات : 164
حجم : 67 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان