خرید و دانلود نسخه کامل کتاب Modern Computer Algebra
قیمت اصلی 57,500 تومان بود.42,000 تومانقیمت فعلی 42,000 تومان است.
خرید و دانلود نسخه کامل کتاب Proceedings SYMSAC 1971 (ACM) TOC
قیمت اصلی 57,500 تومان بود.42,000 تومانقیمت فعلی 42,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
03ساعت
03دقیقه
30ثانیه
-26%
خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Proceedings, Part V
قیمت اصلی 60,500 تومان بود.45,000 تومانقیمت فعلی 45,000 تومان است.
تعداد فروش: 50
| عنوان فارسی |
اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. مناطق کاربردی: دوازدهمین سمپوزیوم بین المللی ، ایزولا 2024 ، مجموعه مقالات ، قسمت V |
|---|---|
| عنوان اصلی | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Proceedings, Part V |
| ویرایش | 1 |
| ناشر | Springer Nature |
| نویسنده | Tiziana Margaria, Bernhard Steffen |
| ISBN | 3031753895, 9783031753909 |
| سال نشر | 2024 |
| زبان | English |
| تعداد صفحات | 219 |
| دسته | سخنرانی ها |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 20 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
مجموعه مقالات ISOLA 2024 کمک هایی از وقایع مرتبط که در دوازدهمین سمپوزیوم بین المللی در مورد اعمال اعمال روشهای رسمی ، ایزولا 2024 برگزار می شود ، که در اکتبر 2024 در کرت ، یونان صورت گرفت ، تشکیل می دهد. برای توسعه دهندگان ، کاربران و محققان برای بحث در مورد موضوعات مربوط به پذیرش و استفاده از ابزارها و روشهای دقیق برای مشخصات ، تجزیه و تحلیل ، تأیید ، صدور گواهینامه ، ساخت و ساز ، آزمایش و نگهداری سیستم ها از دیدگاه حوزه های مختلف کاربردی آنها.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.