دانلود کتاب 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[417]

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

فرمت کتاب : pdf

قیمت : 36000 تومان