Formal Verification
در حال نمایش 4 نتیجهمرتبسازی بر اساس جدیدترین
-
اعتبارسنجی و تضمین ایمنی سیستمهای پویا
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
اقتصاد رفتاری
کتاب کوانتیزه کردن عقلانیت محدود: از نظریه سایمون تا اعتبارسنجی ماشینی تصمیمگیری
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
دورههای آموزشی
کتاب برنامه = اثبات: مبانی برنامهنویسی قابل اعتماد با نظریه نوعها
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
الگوهای طراحی و روشهای رسمی
کتاب از الگو تا اثبات: تکنیکهای رسمیسازی الگوهای طراحی برای مهندسی نرمافزار دقیق
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند
