کتابخانه مرکزی  
فرمول جستجو:
جستجو در پ‍دی‍دآورن‍ده‌ : Adcock, Bruce M.
انواع مدارک:
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
Sometimes (perhaps this is even the modal case) at least one VC is not proved because it is not valid. It is clear that the ways we present errors and debug code must be rethought in a verified software paradigm. This area of research has received little attention to date, so we lay out criteria for how to approach debugging, along with potential methods of doing so.
 
پدیدآور:
Adcock, Bruce M.
 
ناشر:
 
مرتب سازي صعودي براساس       
پالایش جستجو جستجو جديد    
    
1  
پایان نامه لاتین
 
 
Working Towards the Verified Software Process. (electronic resource)
Adcock, Bruce M. ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک