خرید و دانلود نسخه کامل کتاب Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

طراحی، مشخصات و تأیید سیستم های تعاملی: هفتمین کارگاه بین المللی، DSV-IS 2000 Limerick، ایرلند، 5 تا 6 ژوئن، 2000 مقالات تجدید نظر شده

Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

نویسنده: Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes (auth.), Philippe Palanque, Fabio Paternò (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2001

تعداد صفحات: 252

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت