نقدها
هنوز نظری ثبت نشده است
اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک میگذارید
برای بررسی وارد شوید
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
هنوز رتبهبندی نشده است
Dec 9, 2020
·
انگلیسی
·
جلد نرم
(352 صفحات)