لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

خرید و دانلود نسخه کامل کتاب Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

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

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

نویسنده: Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2001

تعداد صفحات: 221 [230]

زبان: English

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

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

104,000 تومان 70,000 تومان