شماره ركورد :
58312
شماره مدرك :
4379721
نويسنده/تنالگان :
Zhiming Liu
عنوان :
Theories of Programming and Formal Methods
اطلاعات نشر :
Springer
سال نشر :
2013
شابك :
9783642396984;9783642396977
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=58312
