شماره ركورد :
30908
شماره مدرك :
4384297
نويسنده/تنالگان :
Kenneth L. McMillan
عنوان :
Verification, Model Checking, and Abstract Interpretation
اطلاعات نشر :
Springer
سال نشر :
2014
شابك :
9783642540127;9783642540134
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=30908
