نقدها
هنوز نظری ثبت نشده است
اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک میگذارید
برای بررسی وارد شوید
Deductive Software Verification: The KeY Book
هنوز رتبهبندی نشده است
Dec 21, 2016
·
انگلیسی
·
جلد نرم
(734 صفحات)