1. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: (طهران)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
