Formal Verification

نمایش همه 6 نتیجهمرتب‌سازی بر اساس جدیدترین

مرتب‌سازی بر اساس محبوبیت مرتب‌سازی بر اساس امتیاز مرتب‌سازی بر اساس جدیدترین مرتب‌سازی بر اساس ارزانترین مرتب‌سازی بر اساس گرانترین

• هر قسط 497,500 تومان

  هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  روش‌های صوری در توسعه نرم‌افزار

  دوره مبانی و کاربردهای روش های صوری در مهندسی نرم افزار به همراه فلش کارت بر روی فلش مموری

  امتیاز 0 از 5

  1,990,000 تومان افزودن به سبد خرید
• هر قسط 497,500 تومان

  هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  رمزنگاری پیشرفته و اثبات‌های رسمی

  دوره طراحی و اثبات مدارهای دانش صفر با رویکرد رسمی به همراه فلش کارت بر روی فلش مموری

  امتیاز 0 از 5

  1,990,000 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  اعتبارسنجی و تضمین ایمنی سیستم‌های پویا

  کتاب فراتر از شبیه‌سازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  اقتصاد رفتاری

  کتاب کوانتیزه کردن عقلانیت محدود: از نظریه سایمون تا اعتبارسنجی ماشینی تصمیم‌گیری

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  دوره‌های آموزشی

  کتاب برنامه = اثبات: مبانی برنامه‌نویسی قابل اعتماد با نظریه نوع‌ها

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  الگوهای طراحی و روش‌های رسمی

  کتاب از الگو تا اثبات: تکنیک‌های رسمی‌سازی الگوهای طراحی برای مهندسی نرم‌افزار دقیق

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید