دانلود کتاب Modular Specification and Verification of Object-Oriented Programs

مشخصات مدولار و تأیید برنامه های شی گرا

زبان : English

نویسندگان : Peter Müller (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540431675, 9783540431671

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

سری : Lecture Notes in Computer Science 2262

تعداد صفحات : 298[297]

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

فرمت کتاب : pdf

قیمت : 36000 تومان