شماره ركورد :
47155
شماره مدرك :
4383953
نويسنده/تنالگان :
Axel Legay
عنوان :
Formal Modeling and Analysis of Timed Systems
اطلاعات نشر :
Springer
سال نشر :
2014
شابك :
9783319105116;9783319105123
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=47155
