خرید و دانلود نسخه کامل کتاب Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

تایید زمان اجرا: چهارمین کنفرانس بین المللی، RV 2013، رن، فرانسه، 24 تا 27 سپتامبر 2013. مجموعه مقالات

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

نویسنده: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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