لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers
Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

خرید و دانلود نسخه کامل کتاب Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

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

Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

نویسنده: Paul Curzon, Ann Blandford (auth.), Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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

98,000 تومان 64,000 تومان