شماره ركورد :
35491
شماره مدرك :
4387703
نويسنده/تنالگان :
Neeraj Kumar Singh
عنوان :
Using Event-B for Critical Device Software Systems
اطلاعات نشر :
Springer
سال نشر :
2013
شابك :
9781447157908;9781447152606;9781447152590
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=35491
