دانلود کتاب Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science)
| عنوان فارسی | مهندسی نرم افزار و روش های رسمی: بیستمین کنفرانس بین المللی، SEFM 2022، برلین، آلمان، 26 تا 30 سپتامبر 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر) |
|---|---|
| عنوان اصلی | Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science) |
| ناشر | Springer |
| نویسنده | Bernd-Holger Schlingloff (editor), Ming Chai (editor) |
| ISBN | 3031171071, 9783031171079 |
| سال نشر | 2022 |
| زبان | English |
| تعداد صفحات | 373 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 17 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی