شماره ركورد :
47161
شماره مدرك :
4384071
نويسنده/تنالگان :
Dimitra Giannakopoulou
عنوان :
Verified Software: Theories, Tools and Experiments
اطلاعات نشر :
Springer
سال نشر :
2014
شابك :
9783319121536;9783319121543
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=47161
