1. computer aided verification

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Computer software-verification,electronic digital computers-evaluation

رده :
QA
76
.
76
.
E93
,
C65
1993