تگ: Software Verification

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

399,950 تومان

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

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

499,850 تومان

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

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

499,850 تومان

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

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

499,850 تومان

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

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

499,850 تومان

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

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

499,850 تومان

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

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

499,850 تومان

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

کتاب صوتی اصول و تکنیک‌های بازسازی کد در اثبات‌گر Isabelle

499,850 تومان

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

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

499,850 تومان

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

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

349,950 تومان

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

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

2,490,000 تومان

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

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

399,950 تومان

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

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

499,850 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

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

349,950 تومان

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

کتاب تایید صحت برنامه‌های کامپیوتری با Maude: اصول و تکنیک‌ها با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

349,950 تومان

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

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

349,950 تومان

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

کتاب اصول و تکنیک‌های بازسازی کد در اثبات‌گر Isabelle با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

349,950 تومان

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

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

349,950 تومان

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

تگ: Software Verification

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

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

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

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

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

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

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

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

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

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

کتاب صوتی اصول و تکنیک‌های بازسازی کد در اثبات‌گر Isabelle

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

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

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

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

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

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

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

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

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

کتاب تایید صحت برنامه‌های کامپیوتری با Maude: اصول و تکنیک‌ها با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

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

کتاب اصول و تکنیک‌های بازسازی کد در اثبات‌گر Isabelle با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

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