دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I
| عنوان فارسی | اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. REOCAS COLLOQUIUM به افتخار Rocco de Nicola: دوازدهمین سمپوزیوم بین المللی ، ایزولا 2024 ، مجموعه مقالات ، قسمت اول |
|---|---|
| عنوان اصلی | Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I |
| ویرایش | [1, 1 ed.] |
| ناشر | Springer; Springer Nature |
| نویسنده | Tiziana Margaria, Bernhard Steffen |
| ISBN | 3031737083, 9783031737091 |
| سال نشر | 2024 |
| زبان | English |
| تعداد صفحات | 442 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 30 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد