شماره ركورد
43761
شماره مدرك
4364129
نويسنده/تنالگان
Andrew Pitts
عنوان
Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015
اطلاعات نشر
Springer
سال نشر
2015
شابك
3662466775
Link To Document
https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=43761