خرید و دانلود نسخه کامل کتاب Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers

سیستم های تعاملی طراحی، مشخصات، و تأیید: دهمین کارگاه بین المللی، DSV-IS 2003، فونچال، جزیره مادیرا، پرتغال، 11-13 ژوئن، 2003. مقالات تجدید نظر شده

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers

نویسنده: Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2003

تعداد صفحات: 427 [440]

زبان: English

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

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