1. Computer aided verification
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
2. Computer-aided verification
پدیدآورنده :
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Computer software-Verification,Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93C65
1992