شماره ركورد :
51719
شماره مدرك :
4393388
نويسنده/تنالگان :
Radu Calinescu
عنوان :
Software Engineering and Formal Methods
اطلاعات نشر :
Springer
سال نشر :
2015
شابك :
9783319229690;9783319229683
Link To Document :
بازگشت