1. Software engineering, analysis and verification
پدیدآورنده : Lewis, Theodore Gyle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Verification ، Computers programs
رده :
QA
76
.
6
.
L477
1982