خرید و دانلود نسخه کامل کتاب 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

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

زبان: English

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

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