دانلود کتاب Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
| عنوان فارسی | تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات |
|---|---|
| عنوان اصلی | Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.) |
| ISBN | 3642166113, 9783642166112 |
| سال نشر | 2010 |
| زبان | English |
| تعداد صفحات | 507 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد