1. The Correctness problem in computer science
پدیدآورنده : edited by R. S. Boyer and J Strother Moore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programs -- Correctness
رده :
QA
76
.
6
.
C663
