1. Program verification
پدیدآورنده : Francez, Nissim.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
F73
1992