خرید و دانلود نسخه کامل کتاب Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

تأیید زمان اجرا: دومین کنفرانس بین المللی ، RV 2011 ، سانفرانسیسکو ، کالیفرنیا ، ایالات متحده ، 27-30 سپتامبر 2011 ، نسخه های تجدید نظر شده

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

نویسنده: Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

تعداد صفحات: 458 [470]

زبان: English

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

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