دانلود کتاب Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
| عنوان فارسی | ادغام معنایی ضمنی و صریح در توسعههای مبتنی بر اثبات سیستمهای گسسته: ارتباطات جلسات NII Shonan |
|---|---|
| عنوان اصلی | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings |
| ویرایش | 1st ed. |
| ناشر | Springer Singapore;Springer |
| نویسنده | Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| ISBN | 9789811550539, 9789811550546 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | 345 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 79,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد