خرید و دانلود نسخه کامل کتاب Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

تئوری های متحد برنامه های برنامه ریزی و روش های مهندسی رسمی: مدرسه آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

نویسنده: Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

تعداد صفحات: 292

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

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