مجموعه های اسمی: نام ها و تقارن در علوم کامپیوتر
Nominal Sets: Names and Symmetry in Computer Science
نویسنده: Andrew M. Pitts
ناشر: Cambridge University Press
سال انتشار: 2013
تعداد صفحات: 292
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت