Formal Methods
در حال نمایش 7 نتیجهمرتبسازی بر اساس جدیدترین
-
دورههای آموزشی
کتاب توسعه نرمافزار دقیق: اصول و تکنیکهای اثباتشده از Rigorous Software Development
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
دورههای آموزشی
کتاب تسلط بر برنامهنویسی موازی: طراحی و پیادهسازی سیستمهای چندپردازندهای با رویکرد شبکههای پتری پیشرفته
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
اعتبارسنجی و تضمین ایمنی سیستمهای پویا
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
تکنیکهای توسعه جبری
کتاب ترندهای نوین در تکنیکهای توسعه جبری: بررسی WADT 2004
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
الگوهای طراحی و روشهای رسمی
کتاب از الگو تا اثبات: تکنیکهای رسمیسازی الگوهای طراحی برای مهندسی نرمافزار دقیق
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
دورههای آموزشی
کتاب علم برنامهنویسی: طراحی الگوریتمهای صحیح و قابل اثبات
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند
