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