خرید و دانلود نسخه کامل کتاب Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

تئوری های متحد کننده برنامه نویسی: سومین سمپوزیوم بین المللی، UTP 2010، شانگهای، چین، 15-16 نوامبر 2010. مجموعه مقالات

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

نویسنده: Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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