شماره ركورد :
53923
شماره مدرك :
4375982
نويسنده/تنالگان :
Jean-Louis Boulanger
عنوان :
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
اطلاعات نشر :
Wiley, ISTE
سال نشر :
2014
شابك :
1119002680 ; 1119002680 ; 1119002680 ; 1119002729 ; 1119002729 ; 1119002729 ; 9781848217096 ; 9781848217096 ; 9781848217096 ; 9781119002727 ; 9781119002727 ; 9781119002727 ; 1848217099 ; 1848217099 ; 1848217099 ; 9781119002680 ; 9781119002680 ; 9781119002
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=53923
بازگشت