دوره مبانی و کاربردهای روش های صوری در مهندسی نرم افزار به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان
تگ: Formal Verification
دوره طراحی و اثبات مدارهای دانش صفر با رویکرد رسمی به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
249,950 تومان
کتاب کوانتیزه کردن عقلانیت محدود: از نظریه سایمون تا اعتبارسنجی ماشینی تصمیمگیری
249,950 تومان
کتاب برنامه = اثبات: مبانی برنامهنویسی قابل اعتماد با نظریه نوعها
249,950 تومان
کتاب از الگو تا اثبات: تکنیکهای رسمیسازی الگوهای طراحی برای مهندسی نرمافزار دقیق
249,950 تومان