عنوان فارسیراهنمای مختصر برای تأیید نرم افزار: از بررسی مدل تا بررسی حاشیه نویسی
عنوان اصلیConcise Guide to Software Verification : From Model Checking to Annotation Checking
ناشرSpringer International Publishing
نویسندهMarieke Huisman; Anton Wijs
ISBN 9783031301674 9783031301667
سال نشر2023
زبانEnglish
تعداد صفحات0
دسته
برنامه نويسي
فرمت کتابepub – قابل تبدیل به سایر فرمت ها
حجم فایل39 مگابایت
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.