شماره ركورد :
17547
شماره مدرك :
3719434
نويسنده/تنالگان :
Gnesi
عنوان :
Formal Methods for Industrial Critical Systems: A Survey of Applications
اطلاعات نشر :
Wiley
سال نشر :
2012
شابك :
9780470876183
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=17547