دانلود کتاب Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

49,000 تومان
نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: سومین کنفرانس بین المللی، VSTTE 2010، ادینبورگ، بریتانیا، 16-19 اوت 2010. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 217
حجم فایل 2 مگابایت
کد کتاب 364215056X,9783642150562
نوبت چاپ 1