کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر
The Handbook of Formal Methods in Human-Computer Interaction
نویسنده: Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (eds.)
ناشر: Springer International Publishing
سال انتشار: 2017
تعداد صفحات: 573
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 19 مگابایت