دانلود کتاب Theory of Program Structures: Schemes, Semantics, Verification

نظریه ساختارهای برنامه: طرح ها ، معناشناسی ، تأیید

زبان : English

نویسندگان : Prof. Sheila A. Greibach (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1975

ISBN (شابک) : 3540074155, 9783540074151

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 36

تعداد صفحات : 370[375]

حجم : 3 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان