دسته: کامپیوتر
دانلود کتاب مشخصات مدولار و تأیید برنامه های شی گرا بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Modular Specification and Verification of Object-Oriented Programs
ویرایش : 1
عنوان ترجمه شده به فارسی : مشخصات مدولار و تأیید برنامه های شی گرا
سری : Lecture Notes in Computer Science 2262
نویسندگان : Peter Müller (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2002
تعداد صفحات : 297
ISBN (شابک) : 3540431675 , 9783540431671
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.