عنوان

Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

پدید آورنده

Kousha Etessami, Sriram K. Rajamani )eds.(

موضوع

Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers

رده

QA

76

.

L28

Vol

.

3576

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران