EN ورود

کشف منابع

Roderick Bloem (eds.)

کتاب‌ها

1 نتیجه

Cover of Handbook of Model Checking

English Intermediate

Handbook of Model Checking

Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem (eds.)

2018 مشاهدهٔ کتاب