شماره ركورد

44845

شماره مدرك

4393751

نويسنده/تنالگان

Andrew Pitts

عنوان

Foundations of Software Science and Computation Structures

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783662466780;9783662466773