خرید و دانلود نسخه کامل کتاب Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science, 2545)

سیستم های تعاملی: طراحی، مشخصات و تأیید: نهمین کارگاه بین المللی، DSV-IS 2002، روستوک آلمان، 12-14 ژوئن، 2002 (یادداشت های سخنرانی در علوم کامپیوتر، 2545)

Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science, 2545)

نویسنده: Bodo Urban (editor), Jean Vanderdonckt (editor), Quentin Limbourg (editor)

ناشر: Springer

سال انتشار: 2002

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

زبان: English

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

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