شماره ركورد
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