دانلود کتاب Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)
| عنوان فارسی | روشهای رسمی: مبانی و کاربردها: بیست و چهارمین سمپوزیوم برزیل، SBMF 2021، رویداد مجازی، 6 تا 10 دسامبر 2021، مجموعه مقالات (برنامهنویسی و مهندسی نرمافزار) |
|---|---|
| عنوان اصلی | Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering) |
| ناشر | Springer |
| نویسنده | Sérgio Campos (editor), Marius Minea (editor) |
| ISBN | 3030921360, 9783030921361 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | 149 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد