دانلود کتاب Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Programming and Software Engineering)
| عنوان فارسی | نرم افزار تایید شده نظریه ها، ابزارها و آزمایش ها: یازدهمین کنفرانس بین المللی، VSTTE 2019، شهر نیویورک، نیویورک، ایالات متحده آمریکا، 13 تا 14 ژوئیه، 2019، مقالات منتخب اصلاح شده (برنامه نویسی و مهندسی نرم افزار) |
|---|---|
| عنوان اصلی | Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Programming and Software Engineering) |
| ناشر | Springer |
| نویسنده | Supratik Chakraborty (editor), Jorge A. Navas (editor) |
| ISBN | 3030415996, 9783030415990 |
| سال نشر | 2020 |
| زبان | English |
| تعداد صفحات | 208 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد