دانلود کتاب The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
by Robert Laurence Baber
|
عنوان فارسی: ستون فقرات از نرم افزار: طراحی قابل اثبات صحیح نرم افزار : تئوری و عمل و یا یک ریاضی مقدمه ای بر معناشناسی از برنامه کامپیوتری |