شماره ركورد :
46038
شماره مدرك :
4379353
نويسنده/تنالگان :
Nir Piterman
عنوان :
Tools and Algorithms for the Construction and Analysis of Systems
اطلاعات نشر :
Springer
سال نشر :
2013
شابك :
9783642367427;9783642367410
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=46038
