تگ: program verification

اپلیکیشن اندرویدی فلش‌کارت آموزشی طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی

249,500 تومان

در صورت خرید اقساطی هر قسط: 62,375 تومان

اپلیکیشن اندرویدی فلش‌کارت آموزشی جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی

249,500 تومان

در صورت خرید اقساطی هر قسط: 62,375 تومان

اپلیکیشن اندرویدی فلش‌کارت آموزشی تایید صوری برنامه‌ها: از تئوری تا عمل

249,500 تومان

در صورت خرید اقساطی هر قسط: 62,375 تومان

دوره اثبات خواص برنامه‌ها: رویکردی با زبان F* همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

1,990,000 تومان

در صورت خرید اقساطی هر قسط: 497,500 تومان

دوره اثبات قضیه خودکار با F*: مبانی و کاربردها همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

1,990,000 تومان

در صورت خرید اقساطی هر قسط: 497,500 تومان

دوره روش‌های صوری در برنامه نویسی F* همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

1,990,000 تومان

در صورت خرید اقساطی هر قسط: 497,500 تومان

دوره طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

1,990,000 تومان

در صورت خرید اقساطی هر قسط: 497,500 تومان

دوره جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

1,990,000 تومان

در صورت خرید اقساطی هر قسط: 497,500 تومان

دوره تایید صوری برنامه‌ها: از تئوری تا عمل همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

1,990,000 تومان

در صورت خرید اقساطی هر قسط: 497,500 تومان

فلش‌کارت‌های آموزشی اثبات خواص برنامه‌ها: رویکردی با زبان F*

299,950 تومان

در صورت خرید اقساطی هر قسط: 74,988 تومان

فلش‌کارت‌های آموزشی اثبات قضیه خودکار با F*: مبانی و کاربردها

299,950 تومان

در صورت خرید اقساطی هر قسط: 74,988 تومان

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

299,950 تومان

در صورت خرید اقساطی هر قسط: 74,988 تومان

فلش‌کارت‌های آموزشی طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی

299,950 تومان

در صورت خرید اقساطی هر قسط: 74,988 تومان

فلش‌کارت‌های آموزشی جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی

299,950 تومان

در صورت خرید اقساطی هر قسط: 74,988 تومان

فلش‌کارت‌های آموزشی تایید صوری برنامه‌ها: از تئوری تا عمل

299,950 تومان

در صورت خرید اقساطی هر قسط: 74,988 تومان

کتاب صوتی اثبات خواص برنامه‌ها: رویکردی با زبان F*

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی اثبات قضیه خودکار با F*: مبانی و کاربردها

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی روش‌های صوری در برنامه نویسی F*

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی تایید صوری برنامه‌ها: از تئوری تا عمل

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

تگ: program verification

اپلیکیشن اندرویدی فلش‌کارت آموزشی اثبات خواص برنامه‌ها: رویکردی با زبان F*

اپلیکیشن اندرویدی فلش‌کارت آموزشی اثبات قضیه خودکار با F*: مبانی و کاربردها

اپلیکیشن اندرویدی فلش‌کارت آموزشی روش‌های صوری در برنامه نویسی F*

اپلیکیشن اندرویدی فلش‌کارت آموزشی طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی

اپلیکیشن اندرویدی فلش‌کارت آموزشی جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی

اپلیکیشن اندرویدی فلش‌کارت آموزشی تایید صوری برنامه‌ها: از تئوری تا عمل

دوره اثبات خواص برنامه‌ها: رویکردی با زبان F* همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

دوره اثبات قضیه خودکار با F*: مبانی و کاربردها همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

دوره روش‌های صوری در برنامه نویسی F* همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

دوره طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

دوره جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

دوره تایید صوری برنامه‌ها: از تئوری تا عمل همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

فلش‌کارت‌های آموزشی اثبات خواص برنامه‌ها: رویکردی با زبان F*

فلش‌کارت‌های آموزشی اثبات قضیه خودکار با F*: مبانی و کاربردها

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

فلش‌کارت‌های آموزشی طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی

فلش‌کارت‌های آموزشی جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی

فلش‌کارت‌های آموزشی تایید صوری برنامه‌ها: از تئوری تا عمل

کتاب صوتی اثبات خواص برنامه‌ها: رویکردی با زبان F*

کتاب صوتی اثبات قضیه خودکار با F*: مبانی و کاربردها

کتاب صوتی روش‌های صوری در برنامه نویسی F*

کتاب صوتی طراحی و پیاده‌سازی سیستم‌های نوع در زبان‌های برنامه‌نویسی تابعی-منطقی

کتاب صوتی جبر و تحلیل نرم‌افزار: از مبانی نظری تا ابزارهای عملی

کتاب صوتی تایید صوری برنامه‌ها: از تئوری تا عمل