تگ: Software Verification

کتاب صوتی بررسی آماری مدل‌های NetLogo با استفاده از MultiVeStA: راهنمای عملی

499,850 تومان

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

فلش‌کارت‌های آموزشی بررسی آماری مدل‌های NetLogo با استفاده از MultiVeStA: راهنمای عملی

399,950 تومان

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

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

2,490,000 تومان

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

اپلیکیشن اندرویدی فلش‌کارت آموزشی توسعه نرم‌افزار دقیق: اصول و تکنیک‌های اثبات‌شده از Rigorous Software Development

349,950 تومان

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

اپلیکیشن اندرویدی فلش‌کارت آموزشی Formalizing Data Types in Praspel؛ آموزش عملی مشخصه‌گذاری صوری و اعتبارسنجی انواع داده

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

اپلیکیشن اندرویدی فلش‌کارت آموزشی تبدیل نیازمندی‌ها به مشخصات رسمی: گام به گام تا اطمینان از صحت نرم‌افزار

349,950 تومان

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

دوره Formalizing Data Types in Praspel؛ آموزش عملی مشخصه‌گذاری صوری و اعتبارسنجی انواع داده همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

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

دوره اثبات ناوردایی‌های سیستم و صحت برنامه‌ها با ACL2 از مبانی تا تکنیک‌های پیشرفته همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

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

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

2,490,000 تومان

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

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

2,490,000 تومان

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

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

2,490,000 تومان

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

دوره تأیید صحت پروتکل‌های شبکه با Agda: از مبتدی تا پیشرفته همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

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

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

2,490,000 تومان

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

دوره تبدیل نیازمندی‌ها به مشخصات رسمی: گام به گام تا اطمینان از صحت نرم‌افزار همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

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

فلش‌کارت‌های آموزشی Formalizing Data Types in Praspel؛ آموزش عملی مشخصه‌گذاری صوری و اعتبارسنجی انواع داده

399,950 تومان

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

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

399,950 تومان

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

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

399,950 تومان

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

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

399,950 تومان

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