شماره ركورد :
17547
شماره مدرك :
3719434
نويسنده/تنالگان :
Gnesi
عنوان :
Formal Methods for Industrial Critical Systems: A Survey of Applications
اطلاعات نشر :
Wiley
سال نشر :
2012
شابك :
9780470876183
Link To Document :
بازگشت