دانلود کتاب Correct System Design: Recent Insights and Advances

طراحی صحیح سیستم: بینش ها و پیشرفت های اخیر

زبان : English

نویسندگان : C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1999

ISBN (شابک) : 3540666249, 9783540666240

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

سری : Lecture Notes in Computer Science 1710

تعداد صفحات : 422[209]

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

فرمت کتاب : djvu

قیمت : 36000 تومان