خرید و دانلود نسخه کامل کتاب Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

تأیید زمان اجرا: سومین کنفرانس بین المللی ، RV 2012 ، استانبول ، ترکیه ، 25 تا 28 سپتامبر 2012 ، مقاله های منتخب اصلاح شده

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

نویسنده: John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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